A Software Library for Reliable Online-Arithmetic with Rational Numbers
Title | A Software Library for Reliable Online-Arithmetic with Rational Numbers |
Publication Type | Conference Paper |
Year of Publication | 2008 |
Authors | de-Miguel-Casado, G, García-Chamizo JM |
Conference Name | Dagstuhl Seminar 08021 - Numerical Validation in Current Hardware Architectures |
Publisher | Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI) |
Conference Location | Dagstuhl, Germany |
ISBN Number | 1862-4405 |
Export |