Towards Understanding Triangle Construction Problems

DOI10.1007/978-3-642-31374-5_9zbMath1359.68265arXiv1207.4432MaRDI 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 geometry; triangle construction problems

Mathematics Subject Classification ID

51M04: Elementary problems in Euclidean geometries

51M15: Geometric constructions in real or complex geometry

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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