Towards Understanding Triangle Construction Problems

DOI10.1007/978-3-642-31374-5_9zbMath1359.68265arXiv1207.4432OpenAlexW1612256948MaRDI QIDQ2907319

Vesna Marinković, Predrag Janičić

Publication date: 7 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1207.4432

zbMATH Keywords

automated deduction in geometrytriangle construction problems

Mathematics Subject Classification ID

Elementary problems in Euclidean geometries (51M04) Geometric constructions in real or complex geometry (51M15)

Related Items (7)

Constructibility classes for triangle location problems ⋮ Automatic constructibility checking of a corpus of geometric construction problems ⋮ Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems ⋮ Portfolio theorem proving and prover runtime prediction for geometry ⋮ Using jointly geometry and algebra to determine RC-constructibility ⋮ Automated triangle constructions in hyperbolic geometry ⋮ New dynamics in dynamic geometry: dragging constructed points

Cites Work

• The area method. A recapitulation
• Axiomatizing geometric constructions
• Geometry constructions language
• A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
• On the construction of a triangle from the feet of its angle bisectors
• Triangle Constructions with Three Located Points
• Carlyle Circles and the Lemoine Simplicity of Polygon Constructions
• The Rise, Fall, and Possible Transfiguration of Triangle Geometry: A Mini-History
• Update on William Wernick's "Triangle Constructions with Three Located Points"
• GCLC — A Tool for Constructive Euclidean Geometry and More Than That
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Towards Understanding Triangle Construction Problems