12 citations · 27 across the 7 of their papers we have counts for
4 papers · 1 filter
A Constructive Real Projective Plane
Mark Mandelkern
The classical theory of plane projective geometry is examined constructively, using both synthetic and analytic methods. The topics include Desargues's Theorem, harmonic conjugates…
Constructive Coordinatization of Desarguesian Planes
Mark Mandelkern
A classical theory of Desarguesian geometry, originating with D. Hilbert in his 1899 treatise, Grundlagen der Geometrie, leads from axioms to the construction of a division ring fr…
A constructive version of the Sylvester-Gallai Theorem
Mark Mandelkern
The Sylvester-Gallai Theorem, stated as a problem by J. J. Sylvester in 1893, asserts that for any finite, noncollinear set of points on a plane, there exists a line passing throug…
Constructive projective extension of an incidence plane
Mark Mandelkern
A standard procedure in classical projective geometry, using pencils of lines to extend an incidence plane to a projective plane, is examined from a constructive viewpoint. Brouwer…