The following pages link to (Q5492562):
Displaying 5 items.
- Ceva, Menelaus, and selftransversality (Q1357632) (← links)
- Proofs and surfaces (Q2195640) (← links)
- Nets of lines with the combinatorics of the square grid and with touching inscribed conics (Q2665265) (← links)
- Cancellation Patterns in Automatic Geometric Theorem Proving (Q3102732) (← links)
- Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry (Q3102739) (← links)