Pages that link to "Item:Q1176391"
From MaRDI portal
The following pages link to Invariant computations for analytic projective geometry (Q1176391):
Displaying 5 items.
- On the synthetic factorization of projectively invariant polynomials (Q1176388) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. (Q1426143) (← links)
- Definable relations in finite-dimensional subspace lattices with involution (Q1991600) (← links)
- Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving (Q2461488) (← links)
- Cayley factorization and the area principle (Q5964225) (← links)
