Computer-assisted proofs Hamiltonian mechanics Theorems in dynamical systems
Kolmogorov–Arnold–Moser theorem
Hamiltonian mechanics
Hamiltonian mechanics Statistical mechanics theorems Theorems in dynamical systems
Liouville's theorem (Hamiltonian)