scientific article; zbMATH DE number 3514586

zbMATH Open0328.50001MaRDI QIDQ4094049FDOQ4094049

Authors Moritz Pasch

Publication date 1976

Mathematics Subject Classification ID

History of geometry (51-03) Euclidean geometries (general) and generalizations (51M05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry (51-01)

Cited in

(7)

• A constructive version of Tarski's geometry
• Max Dehn as Historian of Mathematics
• Formalization of the Poincaré disc model of hyperbolic geometry
• A synthetic proof of Pappus' theorem in Tarski's geometry
• Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq
• Operationalism: an interpretation of the philosophy of ancient Greek geometry
• The differential: Nineteenth and twentieth century developments

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4094049)