Using jointly geometry and algebra to determine RC-constructibility
From MaRDI portal
Publication:1640643
DOI10.1016/j.jsc.2018.04.006zbMath1395.68352OpenAlexW2795900304WikidataQ130041367 ScholiaQ130041367MaRDI QIDQ1640643
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
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)
Related Items (2)
Automated triangle constructions in hyperbolic geometry ⋮ New dynamics in dynamic geometry: dragging constructed points
Cites Work
- Constructibility classes for triangle location problems
- Automatic constructibility checking of a corpus of geometric construction problems
- A robust and efficient method for solving point distance problems by homotopy
- On the theories of triangular sets
- Automated generation of geometric theorems from images of diagrams
- Towards Understanding Triangle Construction Problems
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
- Automated Discovery in Elementary Extrema Problems
- Triangle Constructions with Three Located Points
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Using jointly geometry and algebra to determine RC-constructibility