Logic of Ruler and Compass Constructions

DOI10.1007/978-3-642-30870-3_6zbMath1357.03093OpenAlexW124657849MaRDI QIDQ2904392

Michael J. Beeson

Publication date: 14 August 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30870-3_6

Mathematics Subject Classification ID

Geometric constructions in real or complex geometry (51M15) Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Euclidean geometries (general) and generalizations (51M05)

Related Items (4)

Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems ⋮ Implementing Euclid's straightedge and compass constructions in type theory ⋮ CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE ⋮ On the mechanization of straightedge and compass constructions

This page was built for publication: Logic of Ruler and Compass Constructions