Tarski geometry axioms

DOI10.2478/forma-2014-0017zbMath1352.51002OpenAlexW2025320447MaRDI QIDQ502700

William Richter, Jesse Alama, Adam Grabowski

Publication date: 6 January 2017

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

Full work available at URL: https://doi.org/10.2478/forma-2014-0017

zbMATH Keywords

incidence geometryfoundations of geometryTarski's geometry axioms

Mathematics Subject Classification ID

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

Related Items (6)

Formalization of the arithmetization of Euclidean plane geometry and applications ⋮ Klein-Beltrami model. IV ⋮ Tarski geometry axioms. IV: Right angle ⋮ Tarski geometry axioms. II ⋮ Formalization of the Poincaré disc model of hyperbolic geometry ⋮ Tarski geometry axioms. III

Uses Software

• Coq
• Mizar
• miz3

Cites Work

• Tarski's System of Geometry
• Mechanical Theorem Proving in Tarski’s Geometry
• Unnamed Item
• Unnamed Item

This page was built for publication: Tarski geometry axioms