Automatic constructibility checking of a corpus of geometric construction problems
From MaRDI portal
Publication:294375
DOI10.1007/S11786-016-0247-3zbMATH Open1342.51018OpenAlexW2295918980MaRDI QIDQ294375FDOQ294375
Publication date: 16 June 2016
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11786-016-0247-3
Recommendations
- Using jointly geometry and algebra to determine RC-constructibility
- Towards understanding triangle construction problems
- Constructibility classes for triangle location problems
- Computer theorem proving for verifiable solving of geometric construction problems
- On the mechanization of straightedge and compass constructions
Software, source code, etc. for problems pertaining to geometry (51-04) Geometric constructions in real or complex geometry (51M15) Geometry education (97G99)
Cites Work
- The transitive groups of degree up to eleven+
- Title not available (Why is that?)
- Solvability by radicals is in polynomial time
- A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
- On the theories of triangular sets
- Towards Understanding Triangle Construction Problems
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
- On the construction of a triangle from the feet of its angle bisectors
- Triangle Constructions with Three Located Points
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Update on William Wernick's "Triangle Constructions with Three Located Points"
- Title not available (Why is that?)
Cited In (4)
- Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints
- On the mechanization of straightedge and compass constructions
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- Using jointly geometry and algebra to determine RC-constructibility
This page was built for publication: Automatic constructibility checking of a corpus of geometric construction problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q294375)
