Li, Dafa Simplifying the axiomatization for ordered affine geometry via a theorem prover. (English) Zbl 1518.51009 J. Geom. 114, No. 2, Paper No. 9, 6 p. (2023). Reviewer: Victor V. Pambuccian (Glendale) MSC: 51G05 03F55 03B30 03B35 PDFBibTeX XMLCite \textit{D. Li}, J. Geom. 114, No. 2, Paper No. 9, 6 p. (2023; Zbl 1518.51009) Full Text: DOI
Mandelkern, Mark A constructive real projective plane. (English) Zbl 1339.51001 J. Geom. 107, No. 1, 19-60 (2016). Reviewer: Hans-Peter Schröcker (Innsbruck) MSC: 51A05 03F65 PDFBibTeX XMLCite \textit{M. Mandelkern}, J. Geom. 107, No. 1, 19--60 (2016; Zbl 1339.51001) Full Text: DOI