ValidiPy is a suite of tools for performing validated numerics with Python, i.e. rigorous computations with finite-precision floating point arithmetic. This is achieved using interval arithmetic: all calculations are carried out using intervals which are guaranteed to bound the correct result at each step.
pyintervalmpmathalgopy
- Validated Numerics, W. Tucker
- Introduction to Interval Analysis, R.E. Moore, R.B. Kearfott, M.J. Cloud
- Luis Benet, Institute of Physical Sciences, National University of Mexico (UNAM)
- David P. Sanders, Department of Physics, Faculty of Sciences, National University of Mexico (UNAM)
This project was developed in a masters' course in the postgraduate programs in Physics and in Mathematics at UNAM during the second half of 2013. We thank the participants of the course for putting up with the half-baked material and contributing energy and ideas.
Financial support is acknowledged from DGAPA-UNAM PAPIME grants PE-105911 and PE-107114.