744 citations · 7.1k across the 128 of their papers we have counts for
Showing math.MGShow all
3 papers · 1 filter
math.MG2024★ 8 cited
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…
math.MG2024★ 5 cited
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…
math.MG2024
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…