scientific article; zbMATH DE number 2008524
From MaRDI portal
Publication:4434670
zbMath1032.51002MaRDI QIDQ4434670
Publication date: 25 November 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Finite affine and projective planes (geometric aspects) (51E15) General theory of linear incidence geometry and projective geometries (51A05) Projective analytic geometry (51N15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry (51-01)
Related Items (12)
Quotient Categories and Phases ⋮ Adjoint representations of black box groups \(\operatorname{PSL}_2(\mathbb{F}_q)\) ⋮ The Image of a Square ⋮ Unnamed Item ⋮ Formalizing Some “Small” Finite Models of Projective Geometry in Coq ⋮ The three harmonic homologies theorem ⋮ Selective correlations in finite quantum systems and the Desargues property ⋮ Formalization of the Poincaré disc model of hyperbolic geometry ⋮ Metric structures imposed on Grassmannians ⋮ Formalizing constructive projective geometry in Agda ⋮ Construction of cubic curves with a node ⋮ New bounds on the existence of \((n_5)\) and \((n_6)\) configurations: the Grünbaum calculus revisited
This page was built for publication: