Dagstuhl Seminar Proceedings. 06021 - Reliable Implementation of Real Number Algorithms: Theory and Practice
Doi
Abstract
We propose the collection, standardization, and distribution of a full-featured production quality library for reliable scientific computing with routines using interval techniques for use by the wide community of applications developers
