# diophantus

Hello, this is beta version of diophantus. If you want to report about a mistake, please, write to hello@diophantus.org

#### $C^r$-Lohner algorithm

05 Apr 2007 math.NA, math.DS arxiv.org/abs/0704.0720
Abstract. We present a Lohner type algorithm for the computation of rigorous bounds for solutions of ordinary differential equations and its derivatives with respect to initial conditions up to arbitrary order. As an application we prove the existence of multiple invariant tori around some elliptic periodic orbits for the pendulum equation with periodic forcing and for Michelson system.

# Reviews

There are no reviews yet.