3 papers
math.MG2024
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.FA2024
Convexity and Osculation in Normed Spaces
Mark Mandelkern
Constructive properties of uniform convexity, strict convexity, near convexity, and metric convexity in real normed linear spaces are considered. Examples show that certain classic…
math.MG2024
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…