S.: Interval subroutine library mission

Abstract. We propose the collection, standardization, and distribution of a full-featured, production quality library for reliable scientific comput-ing with routines using interval techniques for use by the wide community of applications developers. 1 Vision – Why are we doing this? The interval/reliable computing research community has long worked to attract practicing scientists and engineers to use its results. We use any of the terms interval, reliable, verified computation in the sense of producing rigorous bounds on true results [1, 2]. The Interval Subroutine Library (ISL) is a project to place interval tools into the hands of people we believe will benefit from their use by gathering and refining existing tools from many interval authors. We acknowl-edge that intervals carry a steep learning curve, and that they sometimes have been over-promised. The winning strategy for widespread adoption of interval technologies is the development of “killer applications ” that are so much better (in some sense) than current practice that practicing scientists and engineer