Gregorio de Miguel Casado, Juan Manuel García Chamizo. A Software Library for Reliable Online-Arithmetic with Rational Numbers. In Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein, editors, Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008. Volume 08021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2008. [doi]
Abstract is missing.