On automating triangle constructions in absolute and hyperbolic geometry

DOI10.4204/EPTCS.352.3MaRDI QIDQ6653955zbMATH OpenFDO

Authors Vesna Marinkovic, Tijana Šukilović, Filip Marić

Publication date 17 December 2024

Full work available at URL https://doi.org/10.4204/EPTCS.352.3

Mathematics Subject Classification ID

Hyperbolic and elliptic geometries (general) and generalizations (51M10) Geometric constructions in real or complex geometry (51M15)

Recommendations

• Automated triangle constructions in hyperbolic geometry
• Towards understanding triangle construction problems
• Towards an Automated Geometer
• Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
• scientific article; zbMATH DE number 1189075

Cites work

• An Instrument in Hyperbolic Geometry
• Axiomatizing geometric constructions
• 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
• Constructions In Hyperbolic Geometry
• Geometry constructions language
• scientific article; zbMATH DE number 3126105 (Why is no real title available?)
• scientific article; zbMATH DE number 3586510 (Why is no real title available?)
• Hyperbolic geometry: The first 150 years
• On the mechanization of straightedge and compass constructions
• Triangle Constructions with Three Located Points
• Wernick's list: a final update

Cited in

(1)

• Automated triangle constructions in hyperbolic geometry

This page was built for publication: On automating triangle constructions in absolute and hyperbolic geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6653955)