Author:
Kellison Ariel,Bickford Mark,Constable Robert
Funder
National Science Foundation
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference33 articles.
1. Mäenpää, P., von Plato, J.: The logic of Euclidean construction procedures. Acta Philos. Fenn 49, 275–293 (1990)
2. Heyting, A.: Axioms for intuitionistic plane affine geometry. Studies in Logic and the Foundations of Mathematics 27, 160–173 (1959). [Online]. Available:
http://linkinghub.elsevier.com/retrieve/pii/S0049237X09700266
3. van Dalen, D.: Outside as a primitive notion in constructive projective geometry. Geom. Dedicata. 60(1), 107–111 (1996). [Online]. Available:
http://link.springer.com/10.1007/BF00150870
4. Dalen, D.V.: Extension problems in intuitionistic plane projective geometry. [Online]. Available:
https://www.illc.uva.nl/Research/Publications/Dissertations/HDS-15-Dirk-van-Dalen.text.pdf
5. Mandelkern, M.: A constructive real projective plane. J. Geom. 107(1), 19–60 (2016). [Online]. Available:
https://doi.org/10.1007/s00022-015-0272-4
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献