Hyperbolic geometry in terms of point-reflections or of line-orthogonality.
Pambuccian, Victor (2004)
Mathematica Pannonica
Similarity:
Displaying similar documents to “On the planarity of the equilateral, isogonal pentagon.”
Hyperbolic geometry in terms of point-reflections or of line-orthogonality.
A non-Desarguesian space geometry
Zenas Hartvigson (1974)
Fundamenta Mathematicae
Similarity:
Order in projective and in descriptive geometry
Oswald Wyler (1953)
Compositio Mathematica
Similarity:
Tarski Geometry Axioms
William Richter, Adam Grabowski, Jesse Alama (2014)
Formalized Mathematics
Similarity:
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. The article is an extension and upgrading of the source code written by the first author with the help of miz3 tool; his primary goal was to use proof checkers to help teach rigorous axiomatic geometry in high school using Hilbert’s axioms. This is largely a Mizar port of Julien...
The epistemological foundations of geometry in 19th century
Ladislav Kvasz (1998-1999)
Philosophia Scientiae
Similarity:
Syllabus of Plane Geometry
Similarity:
A Syllabus of Modern Plane Geometry
Similarity:
An axiom system for full -dimensional Euclidean geometry
Jarosław Kosiorek (1991)
Mathematica Bohemica
Similarity:
We present an axiom system for class of full Euclidean spaces (i.e. of projective closures of Euclidean spaces) and prove the representation theorem for our system, using connections between Euclidean spaces and elliptic planes.
Flags in Euclidean three-space.
Odenhal, Boris (2006)
Mathematica Pannonica
Similarity: