scientific article; zbMATH DE number 3206716
From MaRDI portal
Publication:5332628
zbMath0127.11304MaRDI QIDQ5332628
Publication date: 1963
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Implementing Euclid's straightedge and compass constructions in type theory ⋮ Unnamed Item ⋮ Constructive projective extension of an incidence plane ⋮ Formalizing constructive projective geometry in Agda