On the mechanization of straightedge and compass constructions
From MaRDI portal
Publication:1730306
DOI10.1007/s11424-019-8347-1zbMath1410.51025OpenAlexW2913331535WikidataQ128366740 ScholiaQ128366740MaRDI QIDQ1730306
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
regular chainsWu's methodtriangle problemsgeometric knowledge-based systemsstraightedge and compass constructibility
Related Items (3)
What is the Church-Turing Thesis? ⋮ Automated triangle constructions in hyperbolic geometry ⋮ Foreword to the special issue
Uses Software
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
