Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)
Ulrich Kulisch. Complete Interval Arithmetic and its Implementation. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{kulisch:DagSemProc.08021.8, author = {Kulisch, Ulrich}, title = {{Complete Interval Arithmetic and its Implementation}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--12}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.8}, URN = {urn:nbn:de:0030-drops-14461}, doi = {10.4230/DagSemProc.08021.8}, annote = {Keywords: Interval Arithmetic, implementation} }
Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)
John D. Pryce, George C. Corliss, R. Baker Kearfott, Ned S. Nedialkov, and Spencer Smith. Second Note on Basic Interval Arithmetic for IEEE754R. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{pryce_et_al:DagSemProc.08021.18, author = {Pryce, John D. and Corliss, George C. and Kearfott, R. Baker and Nedialkov, Ned S. and Smith, Spencer}, title = {{Second Note on Basic Interval Arithmetic for IEEE754R}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.18}, URN = {urn:nbn:de:0030-drops-14517}, doi = {10.4230/DagSemProc.08021.18}, annote = {Keywords: Interval arithmetic, validated computation, floating point, standards, exceptions, not an interval} }
Feedback for Dagstuhl Publishing