Computer-assisted proofs in dynamical systems

Department of Mathematics and Statistics, McGill University

Radii Polynomial

The Radii Polynomial Approach

Julia library