Pages that link to "Item:Q1176393"
From MaRDI portal
The following pages link to Computational algebraic geometry of projective configurations (Q1176393):
Displaying 15 items.
- From Pappus theorem to parameter spaces of some extremal line point configurations and applications (Q527598) (← links)
- Nonrealizability proofs in computational geometry (Q912857) (← links)
- All \(11_ 3\) and \(12_ 3\)-configurations are rational (Q923089) (← links)
- Invariant computations for analytic projective geometry (Q1176391) (← links)
- Configurations and their realization (Q1377803) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. (Q1426143) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry. (Q1426144) (← links)
- On the representation of configurations in projective spaces (Q1569868) (← links)
- Counting arcs in projective planes via Glynn's algorithm (Q1685543) (← links)
- Polycyclic configurations (Q1873777) (← links)
- Mechanical theorem proving in projective geometry (Q1924746) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- Line arrangements with the maximal number of triple points (Q2634847) (← links)
- Matroid Representations and free Arrangements (Q3348923) (← links)
- A note on N<sub>k</sub> configurations and theorems in projective space (Q5756319) (← links)
