Work

Validated numerics with Python: the ValidiPy package

Year: 2014

Type: conference-paper

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. Index Terms-validated numerics

Source: Proceedings of the Python in Science Conferences

DOI: 10.25080/majora-14bd3278-00b

Authors: David Sanders, Luis Benet

Institution: Universidad Nacional Autónoma de México

Language: English

Topic: Numerical Methods and Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funder: Dirección General de Asuntos del Personal Académico, Universidad Nacional Autónoma de México

Award: G4850069042