Automatic constructibility checking of a corpus of geometric construction problems

DOI10.1007/S11786-016-0247-3MaRDI QIDQ294375zbMATH OpenOpenAlexFDO

Authors Pascal Schreck, Pascal Mathis

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

zbMATH Keywords

Galois theoryregular chainsstraightedge and compass constructionsWernick's list

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to geometry (51-04) Geometric constructions in real or complex geometry (51M15) Geometry education (97G99)

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

Cites work

• scientific article; zbMATH DE number 1263377 (Why is no real title available?)
• scientific article; zbMATH DE number 1302467 (Why is no real title available?)
• scientific article; zbMATH DE number 622670 (Why is no real title available?)
• scientific article; zbMATH DE number 1955467 (Why is no real title available?)
• scientific article; zbMATH DE number 3053516 (Why is no real title available?)
• A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
• Computer theorem proving for verifiable solving of geometric construction problems
• On the construction of a triangle from the feet of its angle bisectors
• On the theories of triangular sets
• Solvability by radicals is in polynomial time
• The transitive groups of degree up to eleven⁺
• Towards understanding triangle construction problems
• Triangle Constructions with Three Located Points
• Update on William Wernick's "Triangle Constructions with Three Located Points"

Cited in

(8)

• Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints
• On the mechanization of straightedge and compass constructions
• Constructibility classes for triangle location problems
• Automatic Verification of Regular Constructions in Dynamic Geometry Systems
• An interesting construction problem
• Using jointly geometry and algebra to determine RC-constructibility
• Towards understanding triangle construction problems
• Computer theorem proving for verifiable solving of geometric construction problems

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)