scientific article; zbMATH DE number 2008524
From MaRDI portal
Publication:4434670
Recommendations
Cited in
(24)- Adjoint representations of black box groups \(\operatorname{PSL}_2(\mathbb{F}_q)\)
- Selective correlations in finite quantum systems and the Desargues property
- Formalization of the Poincaré disc model of hyperbolic geometry
- New bounds on the existence of \((n_5)\) and \((n_6)\) configurations: the Grünbaum calculus revisited
- Formalizing constructive projective geometry in Agda
- Construction of cubic curves with a node
- scientific article; zbMATH DE number 4024134 (Why is no real title available?)
- scientific article; zbMATH DE number 49743 (Why is no real title available?)
- scientific article; zbMATH DE number 53335 (Why is no real title available?)
- The image of a square
- scientific article; zbMATH DE number 2108266 (Why is no real title available?)
- Quotient categories and phases
- An (isometric) perspective on homographies
- scientific article; zbMATH DE number 3081025 (Why is no real title available?)
- Geometry of cuts and metrics
- Formalizing Some “Small” Finite Models of Projective Geometry in Coq
- The three harmonic homologies theorem
- Generalized polygons
- Spreads and packings of PG(3,2), formally!
- Action of \(\mathbb{R}\)-Fuchsian groups on \(\mathbb{P}_{\mathbb{C}}^n\)
- Fractal approximations on the real projective plane
- Projective Geometry
- Metric structures imposed on Grassmannians
- Projective planes. I.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4434670)
