- The Four Color Theorem - - Computer aided proof of the four color theorem by Neil Robertson, Daniel P. Sanders, Paul Seymour and Robin Thomas.
|
- Four Colour Theorem - - A new proof of the four color theorem by Ashay Dharwadker that uses group theory and Steiner systems.
|
- Hamiltonian Circuit Algorithm - - A new algorithm for finding Hamiltonian circuits with a constructive proof of Dirac's theorem and applications to finding Knight's Tours by Ashay Dharwadker.
|
- Regular Graphs Page - - Tables of simple connected k-regular graphs on n vertices and girth at least g.
|
- Thrackles - - Jon Perry's pages on the thrackle conjecture.
|
- TSP Generator - - Generates a Traveling Salesman Problem map and data for a given set of US cities.
|
|