scientific article
From MaRDI portal
Publication:3567843
zbMath1193.03021MaRDI QIDQ3567843
Publication date: 17 June 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Euclidean geometries (general) and generalizations (51M05) Intuitionistic mathematics (03F55)
Related Items
A constructive real projective plane, Constructibility classes for triangle location problems, Implementing Euclid's straightedge and compass constructions in type theory, Towards Understanding Triangle Construction Problems, Constructive geometrical reasoning and diagrams, Uses of construction in problems and theorems in Euclid's \textit{Elements} I--VI, CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE, Brouwer and Euclid, Negation-free and contradiction-free proof of the Steiner-Lehmus theorem, A constructive version of Tarski's geometry, Constructibility and Geometry