Kolmogorov-Arnold-Moser theory.

Introduction to Arnold's proof of the Kolmogorov-Arnold-Moser theorem by: (Electronic resources)

Discrete weak KAM theory = an introduction through examples and its applications to twist maps / by: (Electronic resources)

Calculus of Variations and Optimization.

Differential Equations.

Kolmogorov-Arnold-Moser theory.

Proof theory.

Arnol'd, V. I.

Dynamical Systems.