Tarski geometry axioms. III
From MaRDI portal
Publication:1795563
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
Mechanization of proofs and logical operations (03B35) General theory of linear incidence geometry and projective geometries (51A05)
Related Items (1)
Uses Software
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