Tarski geometry axioms. III

DOI10.1515/forma-2017-0028zbMath1401.51003OpenAlexW4233038896MaRDI QIDQ1795563

Adam Grabowski, Roland Coghetto

Publication date: 16 October 2018

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

Full work available at URL: https://doi.org/10.1515/forma-2017-0028

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 (1)

Tarski geometry axioms. IV: Right angle

Uses Software

• Isabelle/HOL
• OTTER
• Mizar
• Prover9
• Archive Formal Proofs
• Tarskis_Geometry

Cites Work

• Unnamed Item
• Tarski geometry axioms. II
• Tarski geometry axioms
• Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry
• A synthetic proof of Pappus' theorem in Tarski's geometry
• OTTER Proofs in Tarskian Geometry
• A further simplification of Tarski's axioms of geometry
• Mechanical Theorem Proving in Tarski’s Geometry

This page was built for publication: Tarski geometry axioms. III