Publication:4094049
From MaRDI portal
zbMath0328.50001MaRDI QIDQ4094049
Publication date: 1976
Euclidean geometries (general) and generalizations (51M05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry (51-01) History of geometry (51-03)
Related Items
A synthetic proof of Pappus' theorem in Tarski's geometry, Operationalism: an interpretation of the philosophy of ancient Greek geometry, Max Dehn as Historian of Mathematics, Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq, A constructive version of Tarski's geometry, Formalization of the Poincaré disc model of hyperbolic geometry, The differential: Nineteenth and twentieth century developments