Related links:
- CHomP - The Computational Homology Project.
- COSY infinity - Taylor Models algebra for validated numerics.
- CXSC - C++ toolbox for scientific computing.
- FADBAD - Flexible Automatic differentiation tools in C++.
- GAIO package - Global Analysis of Invariant Objects.
- INTLAB - Matlab toolbox for self-validating algorithms.
- PROFIL-BIAS package - Programmer's Runtime Optimized Fast Interval Library - Basic Interval Arithmetic Subroutines.
- VNODE - A Validated Solver for Initial Value Problems for Ordinary Differential Equations.