Automatic Validation of Numerical Solutions

Abstract

this report . . . 73 7.2 Periodic solutions of autonomous systems . . . . . . . . . . . . 74 7.2.1 The Brusselator . . . . . . . . . . . . . . . . . . . . . . 75 7.2.2 The Lorenz system . . . . . . . . . . . . . . . . . . . . 76 7.2.3 The Van der Pol system . . . . . . . . . . . . . . . . . . 80 7.3 Periodic solutions of non-autonomous systems . . . . . . . . . . 82 7.3.1 The forced Brusselator . . . . . . . . . . . . . . . . . . 83 7.4 Solutions of boundary value problems . . . . . . . . . . . . . . 84