Most Popular Books
- Numerical Toolbox for Verified Computing (Springer Series in Computational Mathematics)
- Advanced Arithmetic for the Digital Computer
- C++ Toolbox for Verified Computing I: Basic Numerical Problems
- PASCAL-XSC : language reference with examples
- Computer Arithmetic and Validity: Theory, Implementation, and Applications