Conference presentations, invited talks, and workshops
To solve differential equations it is often necessary to compute approximations. To do so, explicit Runge–Kutta processes offer a very efficient framework. However their certification is tedious. It is the purpose of the talk to introduce a few ideas that range from symbolic manipulations to numeric speed ups to benefit from the speed of explicit Runge–Kutta integration processes in a guaranteed maner. Typically for machine precisions application this method turns out to be quite relevant.