The following pages link to Automated Deduction in Geometry (Q5902027):
Displaying 3 items.
- Radically solvable graphs (Q2421552) (← links)
- The non-solvability by radicals of generic 3-connected planar Laman graphs (Q3420400) (← links)
- The Galois Complexity of Graph Drawing: Why Numerical Solutions are Ubiquitous for Force-Directed, Spectral, and Circle Packing Drawings (Q3460399) (← links)