Tarski Geometry Axioms. Part III
Work
Year: 2017
Type: article
Abstract: Summary In the article, we continue the formalization of the work devoted to Tarski’s geometry - the book “Metamathematische Methoden in der Geometrie” by W. Schwabhäuser, W. Szmielew, and A. Tarski. ... more
Source: Formalized Mathematics
Authors Roland Coghetto, Adam Grabowski
Institution University of Białystok
Cites: 4
Cited by: 2
Related to: 10
FWCI: 0.277
Citation percentile (by year/subfield): 42.62
Topic: Mathematics and Applications
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: gold