Coghetto, Roland; Grabowski, Adam Tarski geometry axioms. III. (English) Zbl 1401.51003 Formaliz. Math. 25, No. 4, 289-313 (2017). MSC: 51A05 03B35 PDF BibTeX XML Cite \textit{R. Coghetto} and \textit{A. Grabowski}, Formaliz. Math. 25, No. 4, 289--313 (2017; Zbl 1401.51003) Full Text: DOI
Coghetto, Roland Group of homography in real projective plane. (English) Zbl 1365.51014 Formaliz. Math. 25, No. 1, 55-62 (2017). MSC: 51N15 03B35 PDF BibTeX XML Cite \textit{R. Coghetto}, Formaliz. Math. 25, No. 1, 55--62 (2017; Zbl 1365.51014) Full Text: DOI