Logic of Ruler and Compass Constructions

DOI10.1007/978-3-642-30870-3_6MaRDI QIDQ2904392zbMATH OpenOpenAlexFDO

Authors Michael 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

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

Cited in

(11)

• A result about the power of geometric oracle machines
• On the mechanization of straightedge and compass constructions
• Implementing Euclid's straightedge and compass constructions in type theory
• scientific article; zbMATH DE number 3841845 (Why is no real title available?)
• Computer theorem proving for verifiable solving of geometric construction problems
• Constructive geometry
• scientific article; zbMATH DE number 605209 (Why is no real title available?)
• What Borromini might have known about ovals. Ruler and compass constructions
• scientific article; zbMATH DE number 9972 (Why is no real title available?)
• Euclidean machines: general theory of problem
• Constructive geometry and the parallel postulate

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

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