Order in projective and in descriptive geometry

Oswald Wyler

Displaying similar documents to “Order in projective and in descriptive geometry”

A mathematical theory of origami constructions and numbers.

Alperin, Roger C. (2000)

The New York Journal of Mathematics [electronic only]

Similarity:

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 $P$ -geometry for ${Co}_{2}$ .

Cooperstein, Bruce N., Shpectorov, Sergey V. (2004)

Advances in Geometry

Similarity: