Constructive projective extension of an incidence plane
From MaRDI portal
Publication:5402107
DOI10.1090/S0002-9947-2013-05880-1zbMath1286.51001MaRDI QIDQ5402107
Publication date: 5 March 2014
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: http://www.ams.org/journals/tran/2014-366-02/S0002-9947-2013-05880-1
Related Items (3)
A constructive real projective plane ⋮ Brouwer and Euclid ⋮ Formalizing constructive projective geometry in Agda
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The common point problem in constructive projective geometry
- Constructive Coordinatization of Desarguesian Planes
- Omniscience Principles and Functions of Bounded Variation
- Meaning and Information in Constructive Mathematics
- Constructive continuity
- Brouwerian Counterexamples
- Constructive Mathematics
- Limited Omniscience and the Bolzano-Weierstrass Principle
This page was built for publication: Constructive projective extension of an incidence plane