Computer-assisted proofs in nonlinear analysis
by
Jan Bouwe van den Berg
,
Maxime Breden
,
Olivier Hénot
,
Jean-Philippe Lessard
,
Jason D. Mireles James
Welcome
Software installation
Cheat sheet
Module 1: finite-dimensional problems
Finite-dimensional problems
Exercise 1
Exercise 2
Exercise 3
Exercise 4
Exercise 5
Module 2: algebraic equations
Inverse function
Exercise 1
Exercise 2
Exercise 3
Exercise 4
Module 3: Taylor integration
Taylor integration
Module 4: periodic orbits
Periodic orbits
Module 5: invariant manifolds of equilibria
5.1
Parameterization method
5.2
Lorenz system
Exercise 1
Exercise 2
Rigorous inverse of a matrix