On automating triangle constructions in absolute and hyperbolic geometry
From MaRDI portal
Publication:6653955
DOI10.4204/eptcs.352.3MaRDI QIDQ6653955
Vesna Marinković, Filip Marić, Tijana Šukilović
Publication date: 17 December 2024
Hyperbolic and elliptic geometries (general) and generalizations (51M10) Geometric constructions in real or complex geometry (51M15)
This page was built for publication: On automating triangle constructions in absolute and hyperbolic geometry