On the mechanization of straightedge and compass constructions

DOI10.1007/s11424-019-8347-1zbMath1410.51025OpenAlexW2913331535WikidataQ128366740 ScholiaQ128366740MaRDI QIDQ1730306

Pascal Schreck

Publication date: 6 March 2019

Published in: Journal of Systems Science and Complexity (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11424-019-8347-1

zbMATH Keywords

regular chainsWu's methodtriangle problemsgeometric knowledge-based systemsstraightedge and compass constructibility

Mathematics Subject Classification ID

Geometric constructions in real or complex geometry (51M15)

Related Items (3)

What is the Church-Turing Thesis? ⋮ Automated triangle constructions in hyperbolic geometry ⋮ Foreword to the special issue

Uses Software

• RegularChains
• GeoGebra

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the unavoidable uncertainty of truth in dynamic geometry proving
• Constructibility classes for triangle location problems
• Automatic constructibility checking of a corpus of geometric construction problems
• Towards a certified version of the encyclopedia of triangle centers
• Formalizing polygonal knot origami
• An introduction to Wu's method for mechanical theorem proving in geometry
• Solvability by radicals is in polynomial time
• Variation of geometries based on a geometric-reasoning method
• Geometric construction by assembling solved subfigures
• A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
• A mathematical theory of origami constructions and numbers
• Retrieving geometric information from images: the case of hand-drawn diagrams
• On the theories of triangular sets
• Higher order rule characterization of heuristics of compass and straight edge constructions in geometry
• On the connection between Ritt characteristic sets and Buchberger-Gröbner bases
• Logic of Ruler and Compass Constructions
• Solving Cubics With Creases: The Work of Beloch and Lill
• GEOMETRICAL CONSTRAINT SYSTEM DECOMPOSITION: A MULTI-GROUP APPROACH
• Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
• Triangle Constructions with Three Located Points
• Update on William Wernick's "Triangle Constructions with Three Located Points"

This page was built for publication: On the mechanization of straightedge and compass constructions