On Automating Triangle Constructions in Absolute and Hyperbolic Geometry
Computational Geometry
2022-01-04 v1 Mathematical Software
Abstract
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.
Cite
@article{arxiv.2201.00534,
title = {On Automating Triangle Constructions in Absolute and Hyperbolic Geometry},
author = {Vesna Marinković and Tijana Šukilović and Filip Marić},
journal= {arXiv preprint arXiv:2201.00534},
year = {2022}
}
Comments
In Proceedings ADG 2021, arXiv:2112.14770