scientific article
From MaRDI portal
Publication:3268310
zbMath0092.25002MaRDI QIDQ3268310
Publication date: 1959
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Implementing Euclid's straightedge and compass constructions in type theory ⋮ The axioms of constructive geometry ⋮ CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE ⋮ Simplifying the axiomatization for ordered affine geometry via a theorem prover ⋮ Unnamed Item ⋮ Organization and development of a constructive axiomatization ⋮ Unnamed Item ⋮ Constructibility and Geometry ⋮ A constructive theory of ordered affine geometry
