Tarski geometry axioms. II

DOI10.1515/forma-2016-0012zbMath1352.51001OpenAlexW2561277651MaRDI QIDQ502683

Adam Grabowski, Roland Coghetto

Publication date: 6 January 2017

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

Full work available at URL: https://doi.org/10.1515/forma-2016-0012

zbMATH Keywords

Euclidean planefoundations 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

Klein-Beltrami model. III, Tarski geometry axioms. IV: Right angle, Tarski geometry axioms. III

Uses Software

• Coq
• Mizar
• Prover9
• Archive Formal Proofs

Cites Work

• Unnamed Item
• Four decades of {\textsc{Mizar}}. Foreword
• Mechanizing complemented lattices within Mizar type system
• Circumcenter, circumcircle and centroid of a triangle
• Tarski geometry axioms
• On Duplication in Mathematical Repositories
• Tarski's System of Geometry
• Efficient Rough Set Theory Merging
• Mechanical Theorem Proving in Tarski’s Geometry