The following pages link to (Q4434670):
Displaying 15 items.
- Metric structures imposed on Grassmannians (Q784764) (← links)
- Projective planes. I. (Q966172) (← links)
- Adjoint representations of black box groups \(\operatorname{PSL}_2(\mathbb{F}_q)\) (Q1647353) (← links)
- Selective correlations in finite quantum systems and the Desargues property (Q1747948) (← links)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- New bounds on the existence of \((n_5)\) and \((n_6)\) configurations: the Grünbaum calculus revisited (Q2099675) (← links)
- Formalizing constructive projective geometry in Agda (Q2333313) (← links)
- Construction of cubic curves with a node (Q2334487) (← links)
- The Image of a Square (Q4575222) (← links)
- (Q4820609) (← links)
- Quotient Categories and Phases (Q5233735) (← links)
- An (isometric) perspective on homographies (Q5241578) (← links)
- Formalizing Some “Small” Finite Models of Projective Geometry in Coq (Q6108812) (← links)
- The three harmonic homologies theorem (Q6197582) (← links)
- Spreads and packings of PG(3,2), formally! (Q6653965) (← links)
