{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,15]],"date-time":"2023-11-15T09:43:29Z","timestamp":1700041409146},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"2-4","license":[{"start":{"date-parts":[[2011,11,26]],"date-time":"2011-11-26T00:00:00Z","timestamp":1322265600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1007\/s00607-011-0174-8","type":"journal-article","created":{"date-parts":[[2011,11,25]],"date-time":"2011-11-25T04:01:26Z","timestamp":1322193686000},"page":"229-241","source":"Crossref","is-referenced-by-count":4,"title":["Multiple\/arbitrary precision interval computations in C-XSC"],"prefix":"10.1007","volume":"94","author":[{"given":"Walter","family":"Kr\u00e4mer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,11,26]]},"reference":[{"issue":"4","key":"174_CR1","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1145\/138351.138377","volume":"18","author":"O Aberth","year":"1992","unstructured":"Aberth O, Schaefer MJ (1992) Precise computation using range arithmetic, via C++. ACM Trans Math Softw 18(4): 481\u2013491","journal-title":"ACM Trans Math Softw"},{"key":"174_CR2","volume-title":"Scientific computing with automatic resultverification","author":"E Adams","year":"1993","unstructured":"Adams E, Kulisch U (1993) Scientific computing with automatic resultverification. Academic Press, Inc., New York"},{"key":"174_CR3","volume-title":"Introduction to interval computations","author":"G Alefeld","year":"1983","unstructured":"Alefeld G, Herzberger J (1983) Introduction to interval computations. Academic Press, New York"},{"key":"174_CR4","doi-asserted-by":"crossref","unstructured":"Alt R, Frommer A, Kearfott RB, Luther W (eds) (2004) Numerical software with result verification. LNCS, vol 2991, Springer, Berlin","DOI":"10.1007\/b96498"},{"key":"174_CR5","unstructured":"Akyildiz Y, Popova ED, Ullrich CP (1997) Towards a more complete interval arithmetic in mathematica. In: Proceedings on the second international mathematica symposium, pp 26\u201336"},{"issue":"4","key":"174_CR6","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1145\/212066.212075","volume":"21","author":"DH Bailey","year":"1995","unstructured":"Bailey DH (1995) A Fortran-90 based multiprecision system. ACM Trans Math Softw 21(4): 379\u2013387","journal-title":"ACM Trans Math Softw"},{"key":"174_CR7","doi-asserted-by":"crossref","unstructured":"Blomquist F, Hofschuster W, Kr\u00e4mer W (2009) A modified staggered correction arithmetic with enhanced accuracy and very wide exponent range. Lecture Notes in Computer Science LNCS, vol 5492, Springer, Berlin, pp 41\u201367","DOI":"10.1007\/978-3-642-01591-5_4"},{"key":"174_CR8","volume-title":"Eine C-XSC-Langzahlarithmetik auf der Basis der MPFR- und MPFI-Bibliotheken","author":"F Blomquist","year":"2010","unstructured":"Blomquist F, Hofschuster W, Kr\u00e4mer W (2010) Eine C-XSC-Langzahlarithmetik auf der Basis der MPFR- und MPFI-Bibliotheken. University of Wuppertal, Wuppertal"},{"issue":"1","key":"174_CR9","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/355769.355775","volume":"4","author":"R Brent","year":"1978","unstructured":"Brent R (1978) A Fortran multiple-precision arithmetic package. ACM Trans Math Softw (TOMS) 4(1): 57\u201370","journal-title":"ACM Trans Math Softw (TOMS)"},{"issue":"2","key":"174_CR10","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1145\/355887.355889","volume":"6","author":"R Brent","year":"1980","unstructured":"Brent R, Hooper JA, Yohe JM (1980) An AUGMENT interface for Brent\u2019s multiple rrecision arithmetic package. ACM Trans Math Softw (TOMS) 6(2): 146\u2013149","journal-title":"ACM Trans Math Softw (TOMS)"},{"issue":"3","key":"174_CR11","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/s006070170028","volume":"66","author":"A Cuyt","year":"2001","unstructured":"Cuyt A, Verdonk B, Becuwe S, Kuterna P (2001) A remarkable example of catastrophic cancellation unraveled. Computing 66(3): 309\u2013320","journal-title":"Computing"},{"key":"174_CR12","doi-asserted-by":"crossref","first-page":"1437","DOI":"10.1137\/050629203","volume":"28","author":"A Cuyt","year":"2006","unstructured":"Cuyt A, Verdonk B, Waadeland H (2006) Efficient and reliable multiprecision implementation of elementary and special functions. SIAM J Sci Comput 28: 1437\u20131462","journal-title":"SIAM J Sci Comput"},{"key":"174_CR13","doi-asserted-by":"crossref","unstructured":"Cuyt A et\u00a0al (eds) (2009) Numerical validation in current hardware architectures. Lecture Notes in Computer Science LNCS, vol 5492, Springer, Berlin","DOI":"10.1007\/978-3-642-01591-5"},{"key":"174_CR14","unstructured":"D\u00f6scher Chr (2010) Entwicklung bzw. Vereinheitlichung von C-XSC-Paketen zur automatischen Differentiation mittels Template-Programmierung. Thesis, University of Wuppertal, Germany"},{"key":"174_CR15","doi-asserted-by":"crossref","unstructured":"Fousse L, Hanrot G, Lef\u00e8vre V, P\u00e9lissier P, Zimmermann P (2007) MPFR: a multiple-precision binary floating-point library With correct rounding. ACM Trans Math Softw 33(2):13:1\u201313:15. Link: http:\/\/www.mpfr.org\/mpfr-current","DOI":"10.1145\/1236463.1236468"},{"key":"174_CR16","unstructured":"Geulig I, Kr\u00e4mer W (1998) Intervallrechnung in Maple\u2014Die Erweiterung intpakX zum Paket intpak der Share-Library. IWRMM, University of Karlsruhe"},{"key":"174_CR17","unstructured":"GNU Multiple Precision Arithmetic Library. Link: http:\/\/gmplib.org\/"},{"key":"174_CR18","unstructured":"GNU MPFR Documentation (2011). Link: http:\/\/www.mpfr.org\/mpfr-current\/mpfr.pdf"},{"key":"174_CR19","unstructured":"Griewank A, Corliss G (eds) (1991) Automatic differentiation of algorithms: theory, implementation, and applications. SIAM, Philadelphia"},{"key":"174_CR20","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898717761","volume-title":"Evaluating derivatives, principles and techniques of algorithmic differentiation. Second","author":"A Griewank","year":"2008","unstructured":"Griewank A, Walther A (2008) Evaluating derivatives, principles and techniques of algorithmic differentiation. Second. SIAM, Philadelphia"},{"key":"174_CR21","doi-asserted-by":"crossref","unstructured":"Grimmer M, Petras K, Revol N (2004) Multiple precision interval packages: comparing different approaches. In Lecture Notes in Computer Science, vol 2991, Springer, Berlin, pp 64\u201390","DOI":"10.1007\/978-3-540-24738-8_4"},{"key":"174_CR22","volume-title":"C++ toolbox for verified computing I, basic numerical problems: theory, algorithms and programs","author":"R Hammer","year":"1995","unstructured":"Hammer R, Hocks M, Kulisch U, Ratz D (1995) C++ toolbox for verified computing I, basic numerical problems: theory, algorithms and programs. Springer, Berlin"},{"key":"174_CR23","unstructured":"Hofschuster W, Kr\u00e4mer W (2004) C-XSC 2.0: a C++ library for extended scientific computing. Numerical software with result verification, Lecture Notes in Computer Science, vol 2991\/2004, Springer, Heidelberg, pp 15\u201335"},{"key":"174_CR24","doi-asserted-by":"crossref","unstructured":"Hofschuster W, Kr\u00e4mer W, Neher M (2009) C-XSC and closely related software packages. In [13], pp 68\u2013102","DOI":"10.1007\/978-3-642-01591-5_5"},{"key":"174_CR25","unstructured":"IBM High-Accuracy Arithmetic Subroutine Library (ACRITH)(1986) General information manual, GC 33-6163-02, 3rd edn"},{"key":"174_CR26","unstructured":"Keiper JB (1995) Interval arithmetic in mathematica. Math J 5(2), Springer"},{"key":"174_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-09214-9","volume-title":"PASCAL-XSC\u2014language reference with examples","author":"R Klatte","year":"1991","unstructured":"Klatte R et\u00a0al (1991) PASCAL-XSC\u2014language reference with examples. Springer, Heidelberg"},{"key":"174_CR28","volume-title":"C-XSC\u2014A C++ class library for extended scientific computing","author":"R Klatte","year":"1993","unstructured":"Klatte R, Kulisch U, Wiethoff A, Lawo C, Rauch M (1993) C-XSC\u2014A C++ class library for extended scientific computing. Springer, Heidelberg"},{"key":"174_CR29","doi-asserted-by":"crossref","unstructured":"Kr\u00e4mer W (1993) Multiple precision computations with result verification. In [2], pp 325\u2013356","DOI":"10.1016\/S0076-5392(08)62851-9"},{"key":"174_CR30","unstructured":"Kr\u00e4mer W, Kulisch U, Lohner R (1998) Numerical toolbox for verified computing II\u2014advanced numerical problems (draft). Chapter 7, Multiple-Precision Arithmetic Using Integer Operations, pp 210\u2013251. See http:\/\/www.math.uni-wuppertal.de\/wrswt\/literatur\/tb2.ps.gz"},{"issue":"4","key":"174_CR31","doi-asserted-by":"crossref","first-page":"469","DOI":"10.55630\/sjc.2007.1.469-504","volume":"1","author":"W Kr\u00e4mer","year":"2007","unstructured":"Kr\u00e4mer W (2007) Introduction to the Maple power tool intpakX. Serdica J Comput 1(4): 469\u2013504","journal-title":"Serdica J Comput"},{"key":"174_CR32","doi-asserted-by":"crossref","unstructured":"Kulisch U (2008) Computer arithmetic and validity. Theory, implementation, and applications. Stud Math 33, de Gruyter","DOI":"10.1515\/9783110203196"},{"key":"174_CR33","volume-title":"The exact dot product as basic tool for long interval arithmetic. Computing Online","author":"U Kulisch","year":"2010","unstructured":"Kulisch U, Snyder V (2010) The exact dot product as basic tool for long interval arithmetic. Computing Online. Springer, Berlin"},{"key":"174_CR34","doi-asserted-by":"crossref","unstructured":"Lohner R (1993) Interval arithmetic in staggered correction format. In [2], pp 301\u2013342","DOI":"10.1016\/S0076-5392(08)62850-7"},{"key":"174_CR35","volume-title":"Interval analysis","author":"RE Moore","year":"1966","unstructured":"Moore RE (1966) Interval analysis. Prentice Hall, New Jersey"},{"key":"174_CR36","volume-title":"Interval methods for systems of equations","author":"A Neumaier","year":"1990","unstructured":"Neumaier A (1990) Interval methods for systems of equations. Cambridge University Press, Cambridge"},{"key":"174_CR37","doi-asserted-by":"crossref","unstructured":"Revol N, Rouillier F (2005) Motivations for an arbitrary precision interval arithmetic and the MPFI library. Reliab Comput 11:275\u2013290. Link: http:\/\/perso.ens-lyon.fr\/nathalie.revol\/mpfi.html","DOI":"10.1007\/s11155-005-6891-y"},{"key":"174_CR38","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1017\/S096249291000005X","volume":"19","author":"SM Rump","year":"2010","unstructured":"Rump SM (2010) Verification methods: rigorous results using floating-point arithmetic. Acta Numer 19: 287\u2013449","journal-title":"Acta Numer"},{"key":"174_CR39","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1090\/S0025-5718-1989-0971406-0","volume":"52","author":"DM Smith","year":"1989","unstructured":"Smith DM (1989) Efficient multiple-precision evaluation of elementary functions. Math Comput 52: 131\u2013134","journal-title":"Math Comput"},{"issue":"2","key":"174_CR40","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1145\/108556.108585","volume":"17","author":"DM Smith","year":"1991","unstructured":"Smith DM (1991) Algorithm 693: a FORTRAN package for floating-point multiple-precision arithmetic. ACM Trans Math Softw 17(2): 273\u2013283","journal-title":"ACM Trans Math Softw"},{"key":"174_CR41","doi-asserted-by":"crossref","unstructured":"Stoutemyer DR (2007) Useful computations need useful numbers. ACM Commun Comput Algebra 41(3)","DOI":"10.1145\/1358190.1358192"},{"issue":"1","key":"174_CR42","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/355815.355819","volume":"5","author":"JM Yohe","year":"1979","unstructured":"Yohe JM (1979) Software for interval arithmetic: a reasonably portable package. ACM Trans Math Softw 5(1): 50\u201363","journal-title":"ACM Trans Math Softw"},{"key":"174_CR43","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/978-3-7091-8577-3_15","volume":"2","author":"JM Yohe","year":"1980","unstructured":"Yohe JM (1980) Portable software for interval arithmetic. Comput Suppl 2: 211\u2013229","journal-title":"Comput Suppl"},{"issue":"3","key":"174_CR44","doi-asserted-by":"crossref","first-page":"349","DOI":"10.55630\/sjc.2010.4.349-370","volume":"4","author":"M Zimmer","year":"2010","unstructured":"Zimmer M, Kr\u00e4mer W, Bohlender G, Hofschuster W (2010) Extension of the C-XSC library with scalar products with selectable accuracy. Serdica J Comput 4(3): 349\u20133700","journal-title":"Serdica J Comput"},{"key":"174_CR45","doi-asserted-by":"crossref","unstructured":"Zimmermann P (2010) Reliable computing with GNU MPFR. LNCS, vol 6327, Springer, Berlin, pp 42\u201345","DOI":"10.1007\/978-3-642-15582-6_8"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-011-0174-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-011-0174-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-011-0174-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,11]],"date-time":"2023-06-11T09:02:38Z","timestamp":1686474158000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-011-0174-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,26]]},"references-count":45,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["174"],"URL":"https:\/\/doi.org\/10.1007\/s00607-011-0174-8","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,11,26]]}}}