Tarski Geometry Axioms
This is the translation of the Mizar article containing readable Mizar proofs of some axiomatic geometry theorems formulated by the great Polish mathematician Alfred Tarski [8], and we hope to continue this work.
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Sciendo
2014-06-01
|
| Series: | Formalized Mathematics |
| Subjects: | |
| Online Access: | https://doi.org/10.2478/forma-2014-0017 |
| id |
doaj-9c653ebc5efc4543b06a8539e3252e4e |
|---|---|
| record_format |
Article |
| spelling |
doaj-9c653ebc5efc4543b06a8539e3252e4e2021-09-05T21:01:03ZengSciendoFormalized Mathematics1898-99342014-06-0122216717610.2478/forma-2014-0017forma-2014-0017Tarski Geometry AxiomsRichter William0Grabowski Adam1Alama Jesse2Departament of Mathematics Nortwestern University Evanston, USAInstitute of Informatics University of Białystok Akademicka 2, 15-267 Białystok PolandTechnical University of Vienna AustriaThis is the translation of the Mizar article containing readable Mizar proofs of some axiomatic geometry theorems formulated by the great Polish mathematician Alfred Tarski [8], and we hope to continue this work.https://doi.org/10.2478/forma-2014-0017tarski’s geometry axiomsfoundations of geometryincidence geometry51a0551m0403b35 |
| collection |
DOAJ |
| language |
English |
| format |
Article |
| sources |
DOAJ |
| author |
Richter William Grabowski Adam Alama Jesse |
| spellingShingle |
Richter William Grabowski Adam Alama Jesse Tarski Geometry Axioms Formalized Mathematics tarski’s geometry axioms foundations of geometry incidence geometry 51a05 51m04 03b35 |
| author_facet |
Richter William Grabowski Adam Alama Jesse |
| author_sort |
Richter William |
| title |
Tarski Geometry Axioms |
| title_short |
Tarski Geometry Axioms |
| title_full |
Tarski Geometry Axioms |
| title_fullStr |
Tarski Geometry Axioms |
| title_full_unstemmed |
Tarski Geometry Axioms |
| title_sort |
tarski geometry axioms |
| publisher |
Sciendo |
| series |
Formalized Mathematics |
| issn |
1898-9934 |
| publishDate |
2014-06-01 |
| description |
This is the translation of the Mizar article containing readable Mizar proofs of some axiomatic geometry theorems formulated by the great Polish mathematician Alfred Tarski [8], and we hope to continue this work. |
| topic |
tarski’s geometry axioms foundations of geometry incidence geometry 51a05 51m04 03b35 |
| url |
https://doi.org/10.2478/forma-2014-0017 |
| work_keys_str_mv |
AT richterwilliam tarskigeometryaxioms AT grabowskiadam tarskigeometryaxioms AT alamajesse tarskigeometryaxioms |
| _version_ |
1717781739334533120 |