- Referenced in 435 articles
- INTLAB is the Matlab toolbox for reliable computing...
- Referenced in 609 articles
- Iterative methods for optimization This book gives an...
- Referenced in 35 articles
- The art of differentiating computer programs. An introduction...
- Referenced in 70 articles
- Software library that aims to provide a set...
- Referenced in 3 articles
- Polynomial function intervals for floating-point software verification...
- Referenced in 88 articles
- A software package for the numerical integration of...
- Referenced in 7 articles
- Computer assisted Fourier analysis in sequence spaces of...