Open Access

Tarski Geometry Axioms

Formalized Mathematics's Cover Image
Formalized Mathematics
Special Issue: 25 years of the Mizar Mathematical Library

Cite

William Richter
Departament of Mathematics Nortwestern University Evanston, USA
Adam Grabowski
Institute of Informatics University of Białystok Akademicka 2, 15-267 Białystok Poland
Jesse Alama
Technical University of Vienna Austria
eISSN:
1898-9934
Language:
English
Publication timeframe:
Volume Open
Journal Subjects:
Mathematics, General Mathematics, Computer Sciences, other