The common point problem in constructive projective geometry
From MaRDI portal
Publication:1928390
DOI10.1016/j.indag.2012.07.001zbMath1257.51001OpenAlexW2010174215MaRDI QIDQ1928390
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
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