A constructive real projective plane
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3125713 (Why is no real title available?)
- scientific article; zbMATH DE number 4002093 (Why is no real title available?)
- scientific article; zbMATH DE number 4070894 (Why is no real title available?)
- scientific article; zbMATH DE number 3481394 (Why is no real title available?)
- scientific article; zbMATH DE number 3435453 (Why is no real title available?)
- scientific article; zbMATH DE number 218495 (Why is no real title available?)
- scientific article; zbMATH DE number 1932164 (Why is no real title available?)
- scientific article; zbMATH DE number 3215147 (Why is no real title available?)
- scientific article; zbMATH DE number 3291139 (Why is no real title available?)
- scientific article; zbMATH DE number 3111489 (Why is no real title available?)
- A common axiom set for classical and intuitionistic plane geometry
- A constructive theory of ordered affine geometry
- Brouwerian Counterexamples
- Combinatorial analysis of proofs in projective and affine geometry
- Constructive Coordinatization of Desarguesian Planes
- Constructive Mathematics
- Constructive axiomatization of plane hyperbolic geometry
- Constructive continuity
- Constructive geometry
- Constructive mathematics: a foundation for computable analysis
- Constructive projective extension of an incidence plane
- Convexity and osculation in normed spaces
- Intuitionism. An introduction
- Limited Omniscience and the Bolzano-Weierstrass Principle
- Meaning and Information in Constructive Mathematics
- Omniscience principles and functions of bounded variation
- Real numbers and other completions
- Survey of non-Desarguesian planes
- Techniques of constructive analysis
- The axiomatics of ordered geometry: I. Ordered incidence spaces
- The axioms of constructive geometry
- The common point problem in constructive projective geometry
- The crisis in contemporary mathematics
- `Outside' as a primitive notion in constructive projective geometry
Cited in
(10)- Constructive projective extension of an incidence plane
- Constructive harmonic conjugates
- A common axiom set for classical and intuitionistic plane geometry
- `Outside' as a primitive notion in constructive projective geometry
- The common point problem in constructive projective geometry
- Brouwer and Euclid
- H.S.M. Coxeter's theory of accessibility: from Mario Pieri to Marvin Greenberg
- Implementing Euclid's straightedge and compass constructions in type theory
- The theorem of Gallucci revisited
- The axiomatic destiny of the theorems of Pappus and Desargues
This page was built for publication: A constructive real projective plane
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q265603)