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. |

Published: 30th December 2021.

ArXived at: http://dx.doi.org/10.4204/EPTCS.352.3 | bibtex | |

Comments and questions to: eptcs@eptcs.org |

For website issues: webmaster@eptcs.org |