A mathematical theory of origami constructions and numbers.
Alperin, Roger C. (2000)
The New York Journal of Mathematics [electronic only]
Similarity:
Displaying similar documents to “Order in projective and in descriptive geometry”
A mathematical theory of origami constructions and numbers.
A non-Desarguesian space geometry
Zenas Hartvigson (1974)
Fundamenta Mathematicae
Similarity:
Hyperbolic geometry in terms of point-reflections or of line-orthogonality.
Pambuccian, Victor (2004)
Mathematica Pannonica
Similarity:
On the order of the points of the n - dimensional Euclidean space
F. Previale (1962)
Fundamenta Mathematicae
Similarity:
On the planarity of the equilateral, isogonal pentagon.
Pambuccian, Victor (2003)
Mathematica Pannonica
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 Cayley-Spottiswoode coordinates of a conic in 3-space
H. S. Ruse (1935)
Compositio Mathematica
Similarity:
Quantifier-free axioms for constructive plane geometry
Nancy Moler, Patrick Suppes (1968)
Compositio Mathematica
Similarity:
A class of Buekenhout unitals in the Hall plane.
Barwick, S.G. (1996)
Bulletin of the Belgian Mathematical Society - Simon Stevin
Similarity:
A group-free characterization of the -geometry for .
Cooperstein, Bruce N., Shpectorov, Sergey V. (2004)
Advances in Geometry
Similarity: