On Automating Triangle Constructions in Absolute and Hyperbolic Geometry

Vesna Marinković
(Faculty of Mathematics, University of Belgrade, Serbia)
Tijana Šukilović
(Faculty of Mathematics, University of Belgrade, Serbia)
Filip Marić
(Faculty of Mathematics, University of Belgrade, Serbia)

We describe first steps towards a system for automated triangle constructions in absolute and hyperbolic geometry. We discuss key differences between constructions in Euclidean, absolute and hyperbolic geometry, compile a list of primitive constructions and lemmas used for constructions in absolute and hyperbolic geometry, build an automated system for solving construction problems and test it on a corpus of triangle-construction problems. We also provide an online compendium containing construction descriptions and illustrations.

In Predrag Janičić and Zoltán Kovács: Proceedings of the 13th International Conference on Automated Deduction in Geometry (ADG 2021), Hagenberg, Austria/virtual, September 15-17, 2021, Electronic Proceedings in Theoretical Computer Science 352, pp. 14–26.
Published: 30th December 2021.

ArXived at: http://dx.doi.org/10.4204/EPTCS.352.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org