research
∙
01/03/2022
On Automating Triangle Constructions in Absolute and Hyperbolic Geometry
We describe first steps towards a system for automated triangle construc...
research
∙
07/18/2012