The common point problem in constructive projective geometry

DOI10.1016/j.indag.2012.07.001zbMath1257.51001OpenAlexW2010174215MaRDI QIDQ1928390

Mark Mandelkern

Publication date: 3 January 2013

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.indag.2012.07.001

zbMATH Keywords

intuitionistic affine geometry

Mathematics Subject Classification ID

General theory of linear incidence geometry and projective geometries (51A05) Intuitionistic mathematics (03F55)

Related Items (3)

A constructive real projective plane ⋮ Brouwer and Euclid ⋮ Constructive projective extension of an incidence plane

This page was built for publication: The common point problem in constructive projective geometry