Computer-assisted proofs Hamiltonian mechanics Theorems in dynamical systems
Kolmogorov–Arnold–Moser theorem
Computer-assisted proofs
Computer-assisted proofs Graph coloring Planar graphs
Four color theorem
Kolmogorov–Arnold–Moser theorem
Four color theorem