A Software Library for Reliable Online-Arithmetic with Rational Numbers

3 G. de-Miguel-Casado J.M. García-Chamizo 2008 A Software Library for Reliable Online-Arithmetic with Rational Numbers Dagstuhl Seminar 08021 - Numerical Validation in Current Hardware Architectures Dagstuhl, Germany Internationales Begegnungs- und Forschungszentrum fÃ¼r Informatik (IBFI) 1862-4405