{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T16:28:50Z","timestamp":1775838530359,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540212607","type":"print"},{"value":"9783540247388","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24738-8_2","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T08:22:23Z","timestamp":1294388543000},"page":"15-35","source":"Crossref","is-referenced-by-count":42,"title":["C-XSC 2.0 \u2013 A C++ Library for Extended Scientific Computing"],"prefix":"10.1007","author":[{"given":"Werner","family":"Hofschuster","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walter","family":"Kr\u00e4mer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/s006070170028","volume":"66","author":"A. Cuyt","year":"2001","unstructured":"Cuyt, A., Verdonk, B., Becuwe, S., Kuterna, P.: A Remarkable Example of Catastrophic Cancellation Unraveled. Computing\u00a066, 309\u2013320 (2001)","journal-title":"Computing"},{"key":"2_CR2","series-title":"Basic Numerical Problems","volume-title":"C++ Toolbox for Verified Computing","author":"R. Hammer","year":"1995","unstructured":"Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: C++ Toolbox for Verified Computing. Basic Numerical Problems. Springer, Berlin (1995)"},{"key":"2_CR3","unstructured":"H\u00f6lbig, C., Kr\u00e4mer, W.: Selfverifying Solvers for Dense Systems of Linear Equations Realized in C-XSC. Preprint BUW-WRSWT 2003\/1, Universit\u00e4t Wuppertal (2003)"},{"key":"2_CR4","unstructured":"Hofschuster, W., Kr\u00e4mer, W., Wedner, S., Wiethoff, A.: C-XSC 2.0: A C++ Class Library for Extended Scientific Computing, Preprint BUGHW-WRSWT 2001\/1, University of Wuppertal, pp. 1-24 (2001)"},{"key":"2_CR5","unstructured":"ISO\/IEC 14882: Standard for the C++ Programming Language (1998)"},{"key":"2_CR6","volume-title":"C-XSC \u2013 A C++ Class Library for Scientific Computing","author":"R. Klatte","year":"1993","unstructured":"Klatte, R., Kulisch, U., Lawo, C., Rauch, M., Wiethoff, A.: C-XSC \u2013 A C++ Class Library for Scientific Computing. Springer, Berlin (1993)"},{"issue":"4","key":"2_CR7","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1023\/A:1011463324243","volume":"7","author":"W. Kr\u00e4mer","year":"2001","unstructured":"Kr\u00e4mer, W., Bantle, A.: Automatic Forward Error Analysis for Floating Point Algorithms. Reliable Computing\u00a07(4), 321\u2013340 (2001)","journal-title":"Reliable Computing"},{"issue":"3","key":"2_CR8","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/BF02391698","volume":"2","author":"W. Kr\u00e4mer","year":"1996","unstructured":"Kr\u00e4mer, W., Wedner, S.: Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals. Reliable Computing\u00a02(3), 241\u2013253 (1996)","journal-title":"Reliable Computing"},{"key":"2_CR9","unstructured":"Kr\u00e4mer, W., Kulisch, U., Lohner, R.: Numerical Toolbox for Verified Computing II. Advanced Numerical Problems, Draft version available: \n                    \n                      http:\/\/www.uni-karlsruhe.de\/~Rudolf.Lohner\/papers\/tb2.ps.gz"},{"key":"2_CR10","unstructured":"Kulisch, U.: The Fifth Floating-Point Operation for Top-Performance Computers or Accumulation of Floating-Point Numbers and Products in Fixed-Point Arithmetic. Bericht 4\/1997 des Forschungsschwerpunkts Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation, Universit\u00e4t Karlsruhe (1997)"},{"key":"2_CR11","series-title":"Design of Arithmetic Units","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-0525-2","volume-title":"Advanced Arithmetic for the Digital Computer","author":"U. Kulisch","year":"2002","unstructured":"Kulisch, U.: Advanced Arithmetic for the Digital Computer. Design of Arithmetic Units. Springer, Wien (2002)"},{"issue":"3","key":"2_CR12","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1023\/A:1015569431383","volume":"8","author":"E. Loh","year":"2002","unstructured":"Loh, E., Walster, G.W.: Rump\u2019s Example Revisited. Reliable Computing\u00a08(3), 245\u2013248 (2002)","journal-title":"Reliable Computing"},{"key":"2_CR13","unstructured":"Lohner, R.: Einschlie\u00dfung der L\u00f6sung gew\u00f6hnlicher Anfangs- und Randwertaufgaben und Anwendungen. Dissertation, Universit\u00e4t Karlsruhe (1988)"},{"key":"2_CR14","volume-title":"Effective C++, 50 Specific Ways to Improve Your Programs and Designs","author":"S. Meyers","year":"1998","unstructured":"Meyers, S.: Effective C++, 50 Specific Ways to Improve Your Programs and Designs. Addison-Wesley, Reading (1998)"},{"key":"2_CR15","volume-title":"More Effective C++, 35 New Ways to Improve Your Programs and Designs","author":"S. Meyers","year":"1997","unstructured":"Meyers, S.: More Effective C++, 35 New Ways to Improve Your Programs and Designs. Addison-Wesley, Reading (1997)"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1023\/A:1011411307404","volume":"7","author":"M. Neher","year":"2001","unstructured":"Neher, M.: Validated bounds for Taylor coefficients of analytic functions. Reliable Computing\u00a07, 307\u2013319 (2001)","journal-title":"Reliable Computing"},{"key":"2_CR17","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/B978-0-12-505630-4.50012-2","volume-title":"Reliability in Computing","author":"S.M. Rump","year":"1988","unstructured":"Rump, S.M.: Algorithms for verified inclusions \u2013 theory and practice. In: Moore, R.E. (ed.) Reliability in Computing, pp. 109\u2013126. Academic Press, New York (1988)"},{"key":"2_CR18","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-94-017-1247-7_7","volume-title":"Developments in Reliable Computing","author":"S.M. Rump","year":"1999","unstructured":"Rump, S.M.: INTLAB - INTerval LABoratory. In: Csendes, T. (ed.) Developments in Reliable Computing, pp. 77\u2013104. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"2_CR19","volume-title":"The C++ Programming Language, Special edn.","author":"B. Stroustrup","year":"2000","unstructured":"Stroustrup, B.: The C++ Programming Language, Special edn. Addison-Wesley, Reading (2000)"},{"key":"2_CR20","unstructured":"Wedner, S.: Verifizierte Bestimmung singul\u00e4rer Integrale - Quadratur und Kubatur. Thesis, Univ. Karlsruhe (2000)"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24738-8_1","volume-title":"Numerical Software with Result Verification","author":"J. Wolff von Gudenberg","year":"2004","unstructured":"Wolff von Gudenberg, J.: OOP and Interval Arithmetic \u2013 Language Support and Libraries. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Dagstuhl Seminar 2003. LNCS, vol.\u00a02991, pp. 1\u201314. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Numerical Software with Result Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24738-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T17:30:02Z","timestamp":1548437402000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24738-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212607","9783540247388"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24738-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}