scientific article; zbMATH DE number 9972
From MaRDI portal
Publication:4713272
zbMath0778.03020MaRDI QIDQ4713272
Publication date: 25 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Geometric constructions in real or complex geometry (51M15) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Euclidean geometries (general) and generalizations (51M05) Intuitionistic mathematics (03F55) History of Greek and Roman mathematics (01A20) History of geometry (51-03)
Related Items (5)
Implementing Euclid's straightedge and compass constructions in type theory ⋮ The twofold role of diagrams in Euclid's plane geometry ⋮ Uses of construction in problems and theorems in Euclid's \textit{Elements} I--VI ⋮ Axiomatizing geometric constructions ⋮ Constructibility and Geometry
This page was built for publication: