• 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

Computer-assisted proofs in nonlinear analysis