scientific article; zbMATH DE number 3514586
From MaRDI portal
Publication:4094049
zbMath0328.50001MaRDI QIDQ4094049
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Euclidean geometries (general) and generalizations (51M05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry (51-01) History of geometry (51-03)
Related Items (7)
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
This page was built for publication:
