The following pages link to The four color proof suffices (Q1066155):
Displaying 10 items.
- Colouring the discretization graphs arising in the multigrid method (Q805184) (← links)
- A revision of the proof of the Kepler conjecture (Q977177) (← links)
- Formally proving size optimality of sorting networks (Q1694569) (← links)
- A categorical setting for the 4-colour theorem (Q1901000) (← links)
- Ugly mathematics: why do mathematicians dislike computer-assisted proofs? (Q1935355) (← links)
- Responses to ``Theoretical Mathematics: Toward\\ a cultural synthesis of mathematics and\\ theoretical physics'', by A. Jaffe and F. Quinn (Q4299213) (← links)
- Vertex-edge marking score of certain triangular lattices (Q5869451) (← links)
- Mod 3 arithmetic on triangulated Riemann surfaces (Q5941507) (← links)
- Algebra as a semiotic modeling system (Q6608663) (← links)
- On planarity of graphs in homotopy type theory (Q6620019) (← links)
