Using jointly geometry and algebra to determine RC-constructibility

DOI10.1016/J.JSC.2018.04.006MaRDI QIDQ1640643zbMATH OpenOpenAlexWikidataFDO

Authors Pascal Schreck, Pascal Mathis

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)

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

Cites work

• scientific article; zbMATH DE number 41286 (Why is no real title available?)
• scientific article; zbMATH DE number 3053516 (Why is no real title available?)
• A robust and efficient method for solving point distance problems by homotopy
• An extension of triangle constructions from located points
• Automated Discovery in Elementary Extrema Problems
• Automated generation of geometric theorems from images of diagrams
• Automatic constructibility checking of a corpus of geometric construction problems
• Computer theorem proving for verifiable solving of geometric construction problems
• Constructibility classes for triangle location problems
• On the theories of triangular sets
• Towards understanding triangle construction problems
• Triangle Constructions with Three Located Points

Cited in

(6)

• Computer theorem proving for verifiable solving of geometric construction problems
• An interesting construction problem
• Automated triangle constructions in hyperbolic geometry
• scientific article; zbMATH DE number 797341 (Why is no real title available?)
• New dynamics in dynamic geometry: dragging constructed points
• Automatic constructibility checking of a corpus of geometric construction problems

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)