@dblp

Second Note on Basic Interval Arithmetic for IEEE754R.

, , , , and . Numerical Validation in Current Hardware Architectures, volume 08021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)

Links and resources

Tags