Automated triangle constructions in hyperbolic geometry

DOI10.1007/s10472-023-09850-5MaRDI QIDQ6185790

Tijana Šukilović, Vesna Marinković, Filip Marić

Publication date: 8 January 2024

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

hyperbolic geometrydynamic geometry softwaretriangle construction problems

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Classical or axiomatic geometry and physics (51P05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Using jointly geometry and algebra to determine RC-constructibility
• On the mechanization of straightedge and compass constructions
• Formalization of the Poincaré disc model of hyperbolic geometry
• Hyperbolic plane geometry revisited
• Formalizing complex plane geometry
• Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
• Axiomatizing geometric constructions
• Geometry constructions language
• Towards Understanding Triangle Construction Problems
• Constructions In Hyperbolic Geometry
• An Instrument in Hyperbolic Geometry
• Hyperbolic geometry: The first 150 years
• Triangle Constructions with Three Located Points

This page was built for publication: Automated triangle constructions in hyperbolic geometry