Using jointly geometry and algebra to determine RC-constructibility
DOI10.1016/J.JSC.2018.04.006zbMATH Open1395.68352OpenAlexW2795900304WikidataQ130041367 ScholiaQ130041367MaRDI QIDQ1640643FDOQ1640643
Publication date: 14 June 2018
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2018.04.006
Recommendations
- Automatic constructibility checking of a corpus of geometric construction problems
- Computer theorem proving for verifiable solving of geometric construction problems
- On the mechanization of straightedge and compass constructions
- scientific article; zbMATH DE number 2087081
- Algorithms and geometric constructions
Symbolic computation and algebraic computation (68W30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Geometric constructions in real or complex geometry (51M15)
Cites Work
- Title not available (Why is that?)
- On the theories of triangular sets
- Towards Understanding Triangle Construction Problems
- 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
- Triangle Constructions with Three Located Points
- Title not available (Why is that?)
- Title not available (Why is that?)
- A robust and efficient method for solving point distance problems by homotopy
- Automated Discovery in Elementary Extrema Problems
- Automated generation of geometric theorems from images of diagrams
Cited In (3)
This page was built for publication: Using jointly geometry and algebra to determine RC-constructibility
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1640643)
