Klein-Beltrami model. I

DOI10.2478/forma-2018-0003zbMath1401.51001OpenAlexW2887099240WikidataQ129426594 ScholiaQ129426594MaRDI QIDQ1796767

Roland Coghetto

Publication date: 17 October 2018

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2018-0003

zbMATH Keywords

foundations of geometryTarski's geometry axiomsKlein-Beltrami model

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) General theory of linear incidence geometry and projective geometries (51A05)

Related Items (5)

Klein-Beltrami model. IV ⋮ Duality notions in real projective plane ⋮ Cross-ratio in real vector space ⋮ Formalization of the Poincaré disc model of hyperbolic geometry ⋮ Klein-Beltrami model. II

Uses Software

• Isabelle/HOL
• Mizar
• HOL Light

Cites Work

• Four decades of {\textsc{Mizar}}. Foreword
• Mizar: State-of-the-art and Beyond
• Unnamed Item

This page was built for publication: Klein-Beltrami model. I