Towards Understanding Triangle Construction Problems
From MaRDI portal
Publication:2907319
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
Elementary problems in Euclidean geometries (51M04) Geometric constructions in real or complex geometry (51M15)
Related Items
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
- 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