{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T06:53:36Z","timestamp":1760079216177,"version":"3.41.0"},"reference-count":25,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2006,6,1]],"date-time":"2006-06-01T00:00:00Z","timestamp":1149120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Math. Softw."],"published-print":{"date-parts":[[2006,6]]},"abstract":"<jats:p>filib++ is an extension of the interval library filib originally developed at the University of Karlsruhe. The most important aim of filib is the fast computation of guaranteed bounds for interval versions of a comprehensive set of elementary functions. filib++ extends this library in two aspects. First, it adds a second mode, the extended mode, that extends the exception-free computation mode (using special values to represent infinities and NaNs known from the IEEE floating-point standard 754) to intervals. In this mode, the so-called containment sets are computed to enclose the topological closure of a range of a function over an interval. Second, our new design uses templates and traits classes to obtain an efficient, easily extendable, and portable C++ library.<\/jats:p>","DOI":"10.1145\/1141885.1141893","type":"journal-article","created":{"date-parts":[[2006,7,25]],"date-time":"2006-07-25T14:14:26Z","timestamp":1153836866000},"page":"299-324","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":47,"title":["FILIB++, a fast interval library supporting containment computations"],"prefix":"10.1145","volume":"32","author":[{"given":"Michael","family":"Lerch","sequence":"first","affiliation":[{"name":"University of W\u00fcrzburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"German","family":"Tischler","sequence":"additional","affiliation":[{"name":"University of W\u00fcrzburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen Wolff Von","family":"Gudenberg","sequence":"additional","affiliation":[{"name":"University of W\u00fcrzburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner","family":"Hofschuster","sequence":"additional","affiliation":[{"name":"University of Wuppertal, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walter","family":"Kr\u00e4mer","sequence":"additional","affiliation":[{"name":"University of Wuppertal, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,6]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Alefeld G. and Herzberger J. 1983. Introduction to Interval Computations. Academic Press New York NY.  Alefeld G. and Herzberger J. 1983. Introduction to Interval Computations. Academic Press New York NY."},{"key":"e_1_2_1_2_1","unstructured":"Chiriaev D. and Walster G. 1999. Interval arithmetic specification. www.mscs.mu.edu\/&tilde;globsol\/walster-papers.html.  Chiriaev D. and Walster G. 1999. Interval arithmetic specification. www.mscs.mu.edu\/&tilde;globsol\/walster-papers.html."},{"key":"e_1_2_1_3_1","unstructured":"Hammer R. Hocks M. Kulisch U. and Ratz D. 1995. C&plus;&plus; Toolbox for Verified Computing---Basic Numerical Problems. Springer-Verlag Berlin Germany.   Hammer R. Hocks M. Kulisch U. and Ratz D. 1995. C&plus;&plus; Toolbox for Verified Computing---Basic Numerical Problems. Springer-Verlag Berlin Germany."},{"key":"e_1_2_1_4_1","unstructured":"Hofschuster W. and Kr\u00e4mer W. 1998a. FI_LIB eine schnelle und portable Funktionsbibliothek f\u00fcr reelle Argumente und reelle Intervalle im IEEE-double-Format. Preprint 98\/7 Institut f\u00fcr Wissenschaftliches Rechnen und Mathematische Modellbildung Universit\u00e4t Karlsruhe. http:\/\/www.math.uni-wuppertal.de\/wrswt\/preprints\/prep987.ps.  Hofschuster W. and Kr\u00e4mer W. 1998a. FI_LIB eine schnelle und portable Funktionsbibliothek f\u00fcr reelle Argumente und reelle Intervalle im IEEE-double-Format. Preprint 98\/7 Institut f\u00fcr Wissenschaftliches Rechnen und Mathematische Modellbildung Universit\u00e4t Karlsruhe. http:\/\/www.math.uni-wuppertal.de\/wrswt\/preprints\/prep987.ps."},{"key":"e_1_2_1_5_1","unstructured":"Hofschuster W. and Kr\u00e4mer W. 1998b. fi_lib sources. http:\/\/www.math.uni-wuppertal.de\/WRSWT\/software.html.  Hofschuster W. and Kr\u00e4mer W. 1998b. fi_lib sources. http:\/\/www.math.uni-wuppertal.de\/WRSWT\/software.html."},{"key":"e_1_2_1_6_1","volume-title":"Eds. Springer Lecture Notes in Computer Science","volume":"2991","author":"Hofschuster W.","unstructured":"Hofschuster , W. and Kr\u00e4mer , W . 2004. C-XSC 2.0---a C&plus;&plus; class library for extended scientific computing. In Numerical Software with Result Verification, R. Alt, A. Frommer, B. Kearfott, and W. Luther , Eds. Springer Lecture Notes in Computer Science , Vol. 2991 , 15--35. Hofschuster, W. and Kr\u00e4mer, W. 2004. C-XSC 2.0---a C&plus;&plus; class library for extended scientific computing. In Numerical Software with Result Verification, R. Alt, A. Frommer, B. Kearfott, and W. Luther, Eds. Springer Lecture Notes in Computer Science, Vol. 2991, 15--35."},{"key":"e_1_2_1_7_1","unstructured":"Hofschuster W. Kr\u00e4mer W. Wedner S. and Wiethoff A. 2001. C-XSC 2.0---a C&plus;&plus; class library for extended scientific computing. Preprint 01\/1 Wissenschaftliches Rechnen\/Software Technologie Universit\u00e4t Wuppertal. http:\/\/www.math.uni-wuppertal.de\/wrswt\/preprints\/prep_01_1.ps.  Hofschuster W. Kr\u00e4mer W. Wedner S. and Wiethoff A. 2001. C-XSC 2.0---a C&plus;&plus; class library for extended scientific computing. Preprint 01\/1 Wissenschaftliches Rechnen\/Software Technologie Universit\u00e4t Wuppertal. http:\/\/www.math.uni-wuppertal.de\/wrswt\/preprints\/prep_01_1.ps."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/235815.235816"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/198429.198433"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/78928.78931"},{"key":"e_1_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Klatte R. Kulisch U. Lawo C. Rauch M. and Wiethoff A. 1993. C-XSC---A C&plus;&plus; Class Library for Scientific Computing. Springer-Verlag Berlin Germany.   Klatte R. Kulisch U. Lawo C. Rauch M. and Wiethoff A. 1993. C-XSC---A C&plus;&plus; Class Library for Scientific Computing. Springer-Verlag Berlin Germany.","DOI":"10.1007\/978-3-642-58058-1"},{"key":"e_1_2_1_12_1","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/BF02307379","article-title":"Profil\/bias---a fast interval library","volume":"53","author":"Kn\u00fcppel O.","year":"1994","unstructured":"Kn\u00fcppel , O. 1994 . Profil\/bias---a fast interval library . Computing 53 , 277 -- 287 . Kn\u00fcppel, O. 1994. Profil\/bias---a fast interval library. Computing 53, 277--287.","journal-title":"Computing"},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the 31st Spring Conference of the Union of Bulgarian Mathematicians. Union of Bulgarian Mathematicians","author":"Kr\u00e4mer W.","year":"2002","unstructured":"Kr\u00e4mer , W. 2002 . Advanced software tools for validated computing . In Proceedings of the 31st Spring Conference of the Union of Bulgarian Mathematicians. Union of Bulgarian Mathematicians , Borovets, Bulgaria, 344--355. Kr\u00e4mer, W. 2002. Advanced software tools for validated computing. In Proceedings of the 31st Spring Conference of the Union of Bulgarian Mathematicians. Union of Bulgarian Mathematicians, Borovets, Bulgaria, 344--355."},{"volume-title":"Validated Numerics, Interval Methods","author":"Kr\u00e4mer W.","key":"e_1_2_1_14_1","unstructured":"Kr\u00e4mer , W. and Wolff von Gudenberg , J. 2001. Scientific Computing , Validated Numerics, Interval Methods . Kluwer Academic\/Plenum Publishers , New York, NY . Kr\u00e4mer, W. and Wolff von Gudenberg, J. 2001. Scientific Computing, Validated Numerics, Interval Methods. Kluwer Academic\/Plenum Publishers, New York, NY."},{"key":"e_1_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Kulisch U. Lohner R. and Facius A. 2001. Perspectives on Enclosure Methods. Springer-Verlag Berlin Germany.   Kulisch U. Lohner R. and Facius A. 2001. Perspectives on Enclosure Methods. Springer-Verlag Berlin Germany.","DOI":"10.1007\/978-3-7091-6282-8"},{"key":"e_1_2_1_16_1","unstructured":"Lerch M. Tischler G. Wolff von Gudenberg J. Hofschuster W. and Kr\u00e4mer W. 2001. The interval library filib&plus;&plus; 2.0 - design features and sample programs. Preprint BUGHW-WRSWT 2001\/4 Universit\u00e4t Wuppertal.  Lerch M. Tischler G. Wolff von Gudenberg J. Hofschuster W. and Kr\u00e4mer W. 2001. The interval library filib&plus;&plus; 2.0 - design features and sample programs. Preprint BUGHW-WRSWT 2001\/4 Universit\u00e4t Wuppertal."},{"volume-title":"fi_lib&plus;&plus","author":"Lerch M.","key":"e_1_2_1_17_1","unstructured":"Lerch , M. and Wolff von Gudenberg , J. 2000. fi_lib&plus;&plus ; : Specification, implementation and test of a library for extended interval arithmetic. In RNC4 Proceedings . 111--123. Lerch, M. and Wolff von Gudenberg, J. 2000. fi_lib&plus;&plus; : Specification, implementation and test of a library for extended interval arithmetic. In RNC4 Proceedings. 111--123."},{"volume-title":"Traits: a new and useful template technique. C&plus;&plus","author":"Myers N.","key":"e_1_2_1_18_1","unstructured":"Myers , N. 1995. Traits: a new and useful template technique. C&plus;&plus ; Report . Myers, N. 1995. Traits: a new and useful template technique. C&plus;&plus; Report."},{"volume-title":"Developments in Reliable Computing","author":"Rump S., M.","key":"e_1_2_1_19_1","unstructured":"Rump , S., M. 1998. Intlab--interval laboratory . In Developments in Reliable Computing , T. Csendes, Ed. KluwerAcademic Publisher, New York , NY. Rump, S., M. 1998. Intlab--interval laboratory. In Developments in Reliable Computing, T. Csendes, Ed. KluwerAcademic Publisher, New York, NY."},{"key":"e_1_2_1_20_1","first-page":"3","article-title":"Fast and parallel interval arithmetic","volume":"39","author":"Rump S. M.","year":"1999","unstructured":"Rump , S. M. 1999 . Fast and parallel interval arithmetic . Bit 39 , 3 (Sept.) 534--554. Rump, S. M. 1999. Fast and parallel interval arithmetic. Bit 39, 3 (Sept.) 534--554.","journal-title":"Bit"},{"volume-title":"The C&plus;&plus","author":"Stroustrup B.","key":"e_1_2_1_21_1","unstructured":"Stroustrup , B. 2000. The C&plus;&plus ; Programming Language, Special Ed. Addison-Wesley, Reading , MA. Stroustrup, B. 2000. The C&plus;&plus; Programming Language, Special Ed. Addison-Wesley, Reading, MA."},{"key":"e_1_2_1_22_1","unstructured":"Sun Microsystems 2001. C&plus;&plus; Interval Arithmetic Programming Reference (Forte Developer 6 update 2). Sun Microsystems. http:\/\/www.sun.com\/forte\/cplusplus\/interval\/index.html.  Sun Microsystems 2001. C&plus;&plus; Interval Arithmetic Programming Reference (Forte Developer 6 update 2). Sun Microsystems. http:\/\/www.sun.com\/forte\/cplusplus\/interval\/index.html."},{"key":"e_1_2_1_23_1","volume-title":"et al","author":"Walster G.","year":"2000","unstructured":"Walster , G. et al . 2000 a. The \u201csimpl\u201d closed interval system. Tech. rep., Sun Microsystems . Walster, G. et al. 2000a. The \u201csimpl\u201d closed interval system. Tech. rep., Sun Microsystems."},{"key":"e_1_2_1_24_1","volume-title":"et al","author":"Walster G. W.","year":"2000","unstructured":"Walster , G. W. et al . 2000 b. Extended real intervals and the topological closure of extended real numbers. Tech. rep., Sun Microsystems . Walster, G. W. et al. 2000b. Extended real intervals and the topological closure of extended real numbers. Tech. rep., Sun Microsystems."},{"key":"e_1_2_1_25_1","unstructured":"Walster W. G. Hansen E. R. and D. P. J. 2000. Extended real intervals and the topological closure of extended real relations. Tech. rep. Sun Microsystems.  Walster W. G. Hansen E. R. and D. P. J. 2000. Extended real intervals and the topological closure of extended real relations. Tech. rep. Sun Microsystems."}],"container-title":["ACM Transactions on Mathematical Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1141885.1141893","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1141885.1141893","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:14:23Z","timestamp":1750259663000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1141885.1141893"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["10.1145\/1141885.1141893"],"URL":"https:\/\/doi.org\/10.1145\/1141885.1141893","relation":{},"ISSN":["0098-3500","1557-7295"],"issn-type":[{"type":"print","value":"0098-3500"},{"type":"electronic","value":"1557-7295"}],"subject":[],"published":{"date-parts":[[2006,6]]},"assertion":[{"value":"2006-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}