Coghetto, Roland Klein-Beltrami model. IV. (English) Zbl 1462.68223 Formaliz. Math. 28, No. 1, 9-21 (2020). MSC: 68V20 51A05 51M10 68V15 × Cite Format Result Cite Review PDF Full Text: DOI
Coghetto, Roland Klein-Beltrami model. III. (English) Zbl 1462.68222 Formaliz. Math. 28, No. 1, 1-7 (2020). MSC: 68V20 51A05 51M10 68V15 × Cite Format Result Cite Review PDF Full Text: DOI