{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:00:56Z","timestamp":1725516056525},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540855200"},{"type":"electronic","value":"9783540855217"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85521-7_2","type":"book-chapter","created":{"date-parts":[[2008,8,5]],"date-time":"2008-08-05T06:45:26Z","timestamp":1217918726000},"page":"28-43","source":"Crossref","is-referenced-by-count":0,"title":["Interval Subroutine Library Mission"],"prefix":"10.1007","author":[{"given":"George F.","family":"Corliss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. Baker","family":"Kearfott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ned","family":"Nedialkov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John D.","family":"Pryce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Spencer","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970906","volume-title":"Methods and Applications of Interval Analysis","author":"R.E. Moore","year":"1979","unstructured":"Moore, R.E.: Methods and Applications of Interval Analysis. SIAM, Philadelphia (1979)"},{"key":"2_CR2","volume-title":"Interval Methods for Systems of Equations","author":"A. Neumaier","year":"1990","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge (1990)"},{"key":"2_CR3","unstructured":"Fong, K., Jefferson, T., Suyehiro, T., Walton, L.: Guide to the SLATEC common mathematical library. Technical report (1990), netlib.org , http:\/\/www.netlib.org\/slatec\/"},{"key":"2_CR4","volume-title":"Numerical Recipes in Fortran: The Art of Scientific Computing","author":"W.H. Press","year":"1992","unstructured":"Press, W.H., Flannery, B.P., Teukolsky, S.A., Vetterling, W.T.: Numerical Recipes in Fortran: The Art of Scientific Computing, 2nd edn. Cambridge University Press, Cambridge (1992); Also available for Fortran 90, C, and C++","edition":"2"},{"key":"2_CR5","volume-title":"Numerical Recipes in C++: The Art of Scientific Computing","author":"W.H. Press","year":"2002","unstructured":"Press, W.H., Teukolsky, S.A., Vetterling, W.T., Flannery, B.P.: Numerical Recipes in C++: The Art of Scientific Computing, 2nd edn. Cambridge University Press, Cambridge (2002)","edition":"2"},{"key":"2_CR6","unstructured":"GSL: GNU Scientific Library (1996 - June 2004), http:\/\/www.gnu.org\/software\/gsl\/"},{"key":"2_CR7","volume-title":"C\u2013XSC \u2013 A C++ Library for Extended Scientific Computing","author":"R. Klatte","year":"1993","unstructured":"Klatte, R., Kulisch, U., Wiethoff, A., Lawo, C., Rauch, M.: C\u2013XSC \u2013 A C++ Library for Extended Scientific Computing. Springer, Heidelberg (1993)"},{"key":"2_CR8","volume-title":"Numerical Toolbox for Verified Computing I \u2014 Basic Numerical Problems","author":"R. Hammer","year":"1993","unstructured":"Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: Numerical Toolbox for Verified Computing I \u2014 Basic Numerical Problems. Springer, Heidelberg (1993)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Lerch, M., Tischler, G., von Gudenberg, J.W., Hofschuster, W., Kr\u00e4mer, W.: filib++, a fast interval library supporting containment computations. ACM Transactions on Mathematical Software\u00a032(2) (2006)","DOI":"10.1145\/1141885.1141893"},{"key":"2_CR10","unstructured":"Lerch, M., Tischler, G., Wolff\u00a0von Gudenberg, J., Hofschuster, W., Kr\u00e4mer, W.: The interval library filib++ 2.0 - design, features and sample programs (preprint 2001\/4), Universit\u00e4t Wuppertal, Wuppertal, Germany (2001)"},{"issue":"3","key":"2_CR11","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s00607-006-0180-4","volume":"78","author":"J.D. Pryce","year":"2006","unstructured":"Pryce, J.D., Corliss, G.F.: Interval arithmetic with containment sets. Computing\u00a078(3), 251\u2013276 (2006)","journal-title":"Computing"},{"key":"2_CR12","unstructured":"Rump, S.M.: INTLAB interval toolbox, version 5.2 (1999\u20132006), http:\/\/www.ti3.tu-harburg.de\/intlab.ps.gz"},{"key":"2_CR13","unstructured":"Br\u00f6nnimann, H., Melquiond, G., Pion, S.: A proposal to add interval arithmetic to the C++ standard library. Technical Report N1843-05-0103, CIS Department, Polytechnic University, New York, and Laboratoire de l\u2019Informatique du Parall\u00e9lisme, \u00c9cole Normale Sup\u00e9rieure de Lyon, and INRIA Sophia Antipolis (2005\u20132006)"},{"issue":"3\u20134","key":"2_CR14","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/BF02307379","volume":"53","author":"O. Kn\u00fcppel","year":"1994","unstructured":"Kn\u00fcppel, O.: PROFIL\/BIAS \u2013 A fast interval library. Computing\u00a053(3\u20134), 277\u2013287 (1994), http:\/\/www.ti3.tu-harburg.de\/profil_e","journal-title":"Computing"},{"key":"2_CR15","unstructured":"Kn\u00fcppel, O.: PROFIL\/BIAS v 2.0. Bericht 99.1, Technische Universit\u00e4t Hamburg-Harburg, Harburg, Germany (1999)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Br\u00f6nnimann, H., Melquiond, G., Pion, S.: The Boost interval arithmetic library (2006), http:\/\/www.cs.utep.edu\/interval-comp\/main.html","DOI":"10.1016\/j.tcs.2005.09.062"},{"key":"2_CR17","unstructured":"Goualard, F.: Gaol, not just another interval library (2006), http:\/\/www.sourceforge.net\/projects\/gaol\/"},{"key":"2_CR18","unstructured":"Hofschuster, W.: C\u2013XSC \u2013 A C++ Class Library web page (2004) http:\/\/www.math.uni-wuppertal.de\/wrswt\/xsc\/cxsc.html"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/978-3-540-24738-8_2","volume-title":"Numerical Software with Result Verification","author":"W. Hofschuster","year":"2004","unstructured":"Hofschuster, W., Kr\u00e4mer, W.: C\u2013XSC 2.0: A C++ library for extended scientific computing. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Dagstuhl Seminar 2003. LNCS, vol.\u00a02991, pp. 15\u201335. Springer, Heidelberg (2004)"},{"key":"2_CR20","unstructured":"Hofschuster, W., Kr\u00e4mer, W., Wedner, S., Wiethoff, A.: C\u2013XSC 2.0: A C++ library for extended scientific computing. Preprint BUGHW\u2013WRSWT 2001\/1, Universit\u00e4t Wuppertal (2001)"},{"key":"2_CR21","unstructured":"Sun Microsystems.: C++ interval arithmetic programming reference (2004\u20132006) http:\/\/docs.sun.com\/db\/doc\/806-7998"},{"key":"2_CR22","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898719604","volume-title":"LAPACK User\u2019s Guide","author":"E. Anderson","year":"1999","unstructured":"Anderson, E., Bai, Z., Bischof, C., Blackford, S., Demmel, J., Dongarra, J., Du Croz, J., Greenbaum, A., Hammarling, S., McKenney, A., Sorensen, D.: LAPACK User\u2019s Guide, 3rd edn. SIAM, Philadelphia (1999); Certain derivative work portions have been copyrighted by the Numerical Algorithms Group Ltd. http:\/\/www.netlib.org\/lapack\/ , http:\/\/www.nacse.org\/demos\/lapack\/ .","edition":"3"},{"key":"2_CR23","unstructured":"Balay, S., Buschelman, K., Eijkhout, V., Gropp, W.D., Kaushik, D., Knepley, M.G., McInnes, L.C., Smith, B.F., Zhang, H.: PETSc users manual. Technical Report ANL-95\/11 - Revision 2.1.5, Argonne National Laboratory (2004)"},{"key":"2_CR24","unstructured":"Balay, S., Buschelman, K., Gropp, W.D., Kaushik, D., Knepley, M.G., McInnes, L.C., Smith, B.F., Zhang, H.: PETSc Web page (2001), http:\/\/www.mcs.anl.gov\/petsc"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Balay, S., Gropp, W.D., McInnes, L.C., Smith, B.F.: Efficient management of parallelism in object oriented numerical software libraries. In: Arge, E., Bruaset, A.M., Langtangen, H.P. (eds.) Modern Software Tools in Scientific Computing, pp. 163\u2013202. Birkh\u00e4user Press (1997)","DOI":"10.1007\/978-1-4612-1986-6_8"},{"key":"2_CR26","unstructured":"Neumaier, A.: COCONUT Web page (2001-2003), http:\/\/www.mat.univie.ac.at\/~neum\/glopt\/coconut"},{"key":"2_CR27","unstructured":"Kreinovich, V.: Interval Computations (2006), http:\/\/www.cs.utep.edu\/interval-comp\/main.html"},{"key":"2_CR28","volume-title":"Software Fundamentals: Collected Papers by David L. Parnas","author":"D.L. Parnas","year":"2001","unstructured":"Parnas, D.L.: Software Fundamentals: Collected Papers by David L. Parnas. Addison-Wesley, Reading (2001)"},{"issue":"2","key":"2_CR29","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/comjnl\/27.2.97","volume":"27","author":"D.E. Knuth","year":"1984","unstructured":"Knuth, D.E.: Literate programming. The Computer Journal\u00a027(2), 97\u2013111 (1984)","journal-title":"The Computer Journal"},{"key":"2_CR30","unstructured":"LiterateProgramming: Literate Programming Web page (2000\u20132005), http:\/\/www.literateprogramming.com\/"},{"key":"2_CR31","volume-title":"Java Extreme Programming Cookbook","author":"E.M. Burke","year":"2003","unstructured":"Burke, E.M., Coyner, B.M.: Java Extreme Programming Cookbook. O\u2019Reilly, Sebastopol (2003)"},{"key":"2_CR32","volume-title":"Test-Driven Development: By Example","author":"K. Beck","year":"2003","unstructured":"Beck, K.: Test-Driven Development: By Example. Addison-Wesley, Reading (2003)"},{"key":"2_CR33","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1137\/0709052","volume":"9","author":"T. Hull","year":"1972","unstructured":"Hull, T., Enright, W., Fellen, B., Sedgwick, A.: Comparing numerical methods for ordinary differential equations. SIAM J. Numer. Anal.\u00a09, 603\u2013637 (1972)","journal-title":"SIAM J. Numer. Anal."},{"key":"2_CR34","unstructured":"Mazzia, F., Iavernaro, F., Magherini, C.: Test set for IVP solvers, release 2.2 (2003), http:\/\/pitagora.dm.uniba.it\/~testset\/"},{"issue":"1","key":"2_CR35","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/305658.287651","volume":"25","author":"J.D. Pryce","year":"1999","unstructured":"Pryce, J.D.: A test package for Sturm-Liouville solvers. ACM Trans. Math. Software\u00a025(1), 21\u201357 (1999)","journal-title":"ACM Trans. Math. Software"},{"issue":"1","key":"2_CR36","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/305658.287652","volume":"25","author":"J.D. Pryce","year":"1999","unstructured":"Pryce, J.D.: Algorithm 789: SLTSTPAK, a test package for Sturm-Liouville solvers. ACM Trans. Math. Software\u00a025(1), 58\u201369 (1999)","journal-title":"ACM Trans. Math. Software"},{"key":"2_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/978-3-540-24738-8_5","volume-title":"Advances in Database Technology - EDBT 2004","author":"G.F. Corliss","year":"2004","unstructured":"Corliss, G.F., Yu, J.: Testing COSY\u2019s interval and Taylor model arithmetic. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) EDBT 2004. LNCS, vol.\u00a02992, pp. 91\u2013105. Springer, Heidelberg (2004)"},{"issue":"3","key":"2_CR38","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s11155-006-7220-9","volume":"12","author":"R. Kirchner","year":"2006","unstructured":"Kirchner, R., Kulisch, U.W.: Hardware support for interval arithmetic. Reliable Computing\u00a012(3), 225\u2013237 (2006)","journal-title":"Reliable Computing"}],"container-title":["Lecture Notes in Computer Science","Reliable Implementation of Real Number Algorithms: Theory and Practice"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85521-7_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:39:07Z","timestamp":1619523547000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85521-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540855200","9783540855217"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85521-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}