A mathematical theory of origami constructions and numbers.
Alperin, Roger C. (2000)
The New York Journal of Mathematics [electronic only]
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: