Algorithms and geometric constructions

DOI10.1007/978-3-319-94418-0_41MaRDI QIDQ1670771zbMATH OpenOpenAlexWikidataFDO

Authors A. Shen, V. A. Uspenskiĭ

Publication date 6 September 2018

Full work available at URL https://arxiv.org/abs/1805.12579

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Geometric constructions in real or complex geometry (51M15) Applications of game theory (91A80)

Recommendations

• On the mechanization of straightedge and compass constructions
• On the Impossibility of Ruler-Only Constructions
• scientific article; zbMATH DE number 2087081
• The how and why of constructions in classical geometry
• scientific article; zbMATH DE number 1438977

Cited in

(10)

• A result about the power of geometric oracle machines
• Using jointly geometry and algebra to determine RC-constructibility
• Mulling over shapes, rules and numbers
• Constructibility classes for triangle location problems
• Computer theorem proving for verifiable solving of geometric construction problems
• Generalized Construction Problems
• Two circles and only a straightedge
• scientific article; zbMATH DE number 2087081 (Why is no real title available?)
• scientific article; zbMATH DE number 1892904 (Why is no real title available?)
• Algorithms and Geometric Constructions

This page was built for publication: Algorithms and geometric constructions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1670771)