Conference site ยป Proceedings

Validated numerics with Python: the ValidiPy package

David P. Sanders
Department of Physics, Faculty of Sciences, National Autonomous University of Mexico (UNAM), Ciudad Universitaria, México D.F. 04510, Mexico

Luis Benet
Institute of Physical Sciences, National Autonomous University of Mexico (UNAM), Apartado postal 48-3, Cuernavaca 62551, Morelos, Mexico

Abstract

We introduce the ValidiPy package for validated numerics in Python. This suite of tools, which includes interval arithmetic and automatic differentiation, enables rigorous and guaranteed results using floating-point arithmetic. We apply the ValidiPy package to two classic problems in dynamical systems, calculating periodic points of the logistic map, and simulating the dynamics of a chaotic billiard model.

Keywords

validated numerics, Newton method, floating point, interval arithmetic

Bibtex entry

Full text PDF