Using jointly geometry and algebra to determine RC-constructibility

DOI10.1016/j.jsc.2018.04.006zbMath1395.68352OpenAlexW2795900304WikidataQ130041367 ScholiaQ130041367MaRDI QIDQ1640643

Pascal Mathis, Pascal Schreck

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

zbMATH Keywords

regular chainsgeometric knowledge-based systemruler and compass constructibilitytriangle problems

Mathematics Subject Classification ID

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