This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International...

Towards an Electronic Geometry Textbook.- Equidecomposable Quadratic Regions.- Automatic Verifica...