{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:23:19Z","timestamp":1743067399682,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642015908"},{"type":"electronic","value":"9783642015915"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01591-5_4","type":"book-chapter","created":{"date-parts":[[2009,4,27]],"date-time":"2009-04-27T08:41:57Z","timestamp":1240821717000},"page":"41-67","source":"Crossref","is-referenced-by-count":10,"title":["A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range"],"prefix":"10.1007","author":[{"given":"Frithjof","family":"Blomquist","sequence":"first","affiliation":[]},{"given":"Werner","family":"Hofschuster","sequence":"additional","affiliation":[]},{"given":"Walter","family":"Kr\u00e4mer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"Introduction to Interval Computations","author":"G. Alefeld","year":"1983","unstructured":"Alefeld, G., Herzberger, J.: Introduction to Interval Computations. Academic Press, New York (1983)"},{"key":"4_CR2","unstructured":"American National Standards Institute\/Institute of Electrical and Electronics Engineers: IEEE Standard for Binary Floating-Point Arithmetic; ANSI\/IEEE Std 754\u20131985, New York (1985)"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BF02260501","volume":"35","author":"W. Auzinger","year":"1985","unstructured":"Auzinger, W., Stetter, H.J.: Accurate Arithmetic Results for Decimal Data on Non-Decimal Computers. Computing\u00a035, 141\u2013151 (1985)","journal-title":"Computing"},{"key":"4_CR4","unstructured":"Blomquist, F., Hofschuster, W., Kr\u00e4mer, W.: Realisierung der hyperbolischen Cotangens-Funktion in einer Staggered-Correction-Intervallarithmetik in C-XSC. Preprint 2004\/3, Scientific Computing\/Software Engineering, University of Wuppertal (2004)"},{"key":"4_CR5","unstructured":"Blomquist, F.: Verbesserungen im Bereich komplexer Standardfunktionen, interne Mitteilung. Scientific Computing\/Software Engineering, University of Wuppertal (2005)"},{"key":"4_CR6","unstructured":"Blomquist, F., Hofschuster, W., Kr\u00e4mer, W.: Real and Complex Staggered (Interval) Arithmetics with Wide Exponent Range (in German). Preprint 2008\/1, Scientific Computing\/Software Engineering, University of Wuppertal (2008)"},{"key":"4_CR7","unstructured":"Blomquist, F., Hofschuster, W., Kr\u00e4mer, W., Neher, M.: Complex Interval Functions in C-XSC, Preprint BUW-WRSWT 2005\/2, Scientific Computing\/Software Engineering, University of Wuppertal, pp. 1\u201348 (2005)"},{"key":"4_CR8","unstructured":"Blomquist, F., Hofschuster, W., Kr\u00e4mer, W.: Real and Complex Taylor Arithmetic in C-XSC. Preprint BUW-WRSWT 2005\/4, Scientific Computing\/Software Engineering, University of Wuppertal (2005)"},{"key":"4_CR9","unstructured":"B\u00f6hm, H.: Berechnung von Polynomnullstellen und Auswertung arithmetischer Ausdr\u00fccke mit garantierter maximaler Genauigkeit. Dissertation, Universit\u00e4t Karlsruhe (1983)"},{"key":"4_CR10","volume-title":"Computer Arithmetic and Self-Validating Numerical Methods","author":"G. Bohlender","year":"1990","unstructured":"Bohlender, G.: What Do We Need Beyond IEEE Arithmetic? In: Ullrich, C. (ed.) Computer Arithmetic and Self-Validating Numerical Methods. Academic Press, London (1990)"},{"key":"4_CR11","first-page":"81","volume-title":"Computerarithmetic: Scientific Computation and Programming Languages","author":"K. Braune","year":"1987","unstructured":"Braune, K., Kr\u00e4mer, W.: High Accuracy Standard Functions for Real and Complex Intervals. In: Kaucher, E., Kulisch, U., Ullrich, C. (eds.) Computerarithmetic: Scientific Computation and Programming Languages, pp. 81\u2013114. Teubner, Stuttgart (1987)"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-7091-6957-5_15","volume":"6","author":"K. Braune","year":"1988","unstructured":"Braune, K.: Standard Functions for Real and Complex Point and Interval Arguments with Dynamic Accuracy. Computing Supplementum\u00a06, 159\u2013184 (1988)","journal-title":"Computing Supplementum"},{"issue":"1","key":"4_CR13","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/355769.355775","volume":"4","author":"R.P. Brent","year":"1978","unstructured":"Brent, R.P.: A Fortran Multiple-Precision Arithmetic Package. ACM Transactions on Mathematical Software (TOMS)\u00a04(1), 57\u201370 (1978)","journal-title":"ACM Transactions on Mathematical Software (TOMS)"},{"key":"4_CR14","unstructured":"Cuyt, A., Kuterna, P., Verdonk, B., Vervloet, J.: Arithmos: a reliable integrated computational environment (2001), http:\/\/www.cant.ua.ac.be\/arithmos\/index.html"},{"key":"4_CR15","volume-title":"Handbook of Continued Fractions for Special Functions","author":"A. Cuyt","year":"2008","unstructured":"Cuyt, A., Petersen, V.B., Verdonk, B., Waadeland, H., Jones, W.B.: Handbook of Continued Fractions for Special Functions. Springer, Heidelberg (2008)"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/BF01397083","volume":"18","author":"T.J. Dekker","year":"1971","unstructured":"Dekker, T.J.: A Floating-Point Technique for Extending the Available Precision. Num. Math.\u00a018, 224\u2013242 (1971)","journal-title":"Num. Math."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Fousse, L., Hanrot, G., Lef\u00e8vre, V., P\u00e9lissier, P., Zimmermann, P.: MPFR: A multiple-precision binary floating-point library with correct rounding. Transactions on Mathematical Software (TOMS)\u00a033(2) (2007)","DOI":"10.1145\/1236463.1236468"},{"volume-title":"Automatic Differentiation of Algorithms: Theory, Implementation, and Applications","year":"1991","key":"4_CR18","unstructured":"Griewank, A., Corliss, G. (eds.): Automatic Differentiation of Algorithms: Theory, Implementation, and Applications. SIAM, Philadelphia (1991)"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-24738-8_4","volume-title":"Numerical Software with Result Verification (Dagstuhl Seminar 2003)","author":"M. Grimmer","year":"2004","unstructured":"Grimmer, M., Petras, K., Revol, N.: Multiple Precision Interval Packages. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Numerical Software with Result Verification (Dagstuhl Seminar 2003). LNCS, vol.\u00a02991, pp. 64\u201390. Springer, Heidelberg (2004)"},{"key":"4_CR20","volume-title":"C++ Toolbox for Verified Computing: Basic Numerical Problems","author":"R. Hammer","year":"1995","unstructured":"Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: C++ Toolbox for Verified Computing: Basic Numerical Problems. Springer, Heidelberg (1995)"},{"volume-title":"Topics in Validated Computations. Proceedings of IMACS-GAMM International Workshop on Validated Numerics, Oldenburg, 1993","year":"1994","key":"4_CR21","unstructured":"Herzberger, J. (ed.): Topics in Validated Computations. Proceedings of IMACS-GAMM International Workshop on Validated Numerics, Oldenburg, 1993. North Holland, Amsterdam (1994)"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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-XSC \u2013 A C++ Class Library for Extended Scientific Computing. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Numerical Software with Result Verification (Dagstuhl Seminar 2003). LNCS, vol.\u00a02991, pp. 15\u201335. Springer, Heidelberg (2004)"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-01591-5_5","volume-title":"Numerical Validation in Current Hardware Architectures (Dagstuhl Seminar 2008)","author":"W. Hofschuster","year":"2009","unstructured":"Hofschuster, W., Kr\u00e4mer, W., Neher, M.: C-XSC and closely related software packages. In: Cuyt, A., et al. (eds.) Numerical Validation in Current Hardware Architectures (Dagstuhl Seminar 2008). LNCS, vol.\u00a05492, pp. 68\u2013102. Springer, Heidelberg (2009)"},{"key":"4_CR24","volume-title":"C-XSC, A C++ Class Library for Extended Scientific Computing","author":"R. Klatte","year":"1993","unstructured":"Klatte, R., Kulisch, U., Lawo, C., Rauch, M., Wiethoff, A.: C-XSC, A C++ Class Library for Extended Scientific Computing. Springer, Heidelberg (1993)"},{"key":"4_CR25","volume-title":"Faktorisierung von Matrizen mit maximaler Genauigkeit","author":"G. Klotz","year":"1987","unstructured":"Klotz, G.: Faktorisierung von Matrizen mit maximaler Genauigkeit. Dissertation, Universit\u00e4t Karlsruhe (1987)"},{"key":"4_CR26","unstructured":"Kr\u00e4mer, W.: Inverse Standardfunktionen f\u00fcr reelle und komplexe Intervallargumente mit a priori Fehlerabsch\u00e4tzungen f\u00fcr beliebige Datenformate, Dissertation, Universit\u00e4t Karlsruhe (1987)"},{"key":"4_CR27","unstructured":"Kr\u00e4mer, W.: Mehrfachgenaue reelle und intervallm\u00e4\u00dfige Staggered-Correction Arithmetik mit zugeh\u00f6rigen Standardfunktionen, Bericht des Instituts f\u00fcr Angewandte Mathematik, Universit\u00e4t Karlsruhe, pp. S.1\u201380 (1988)"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Kr\u00e4mer, W., Walter, W.: FORTRAN-SC: A FORTRAN Extension for Engineering\/Scientific Computation with Access to ACRITH, General Information Notes and Sample Programs. IBM Deutschland GmbH (1989)","DOI":"10.1016\/B978-0-12-505630-4.50008-0"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Kr\u00e4mer W., Kulisch U., Lohner, R.: Numerical Toolbox for Verified Computing II. Springer. Draft tb2.ps.gz (1994), http:\/\/www.rz.uni-karlsruhe.de\/~Rudolf.Lohner\/papers\/","DOI":"10.1007\/978-3-642-78423-1"},{"issue":"4","key":"4_CR30","first-page":"467","volume":"1","author":"W. Kr\u00e4mer","year":"2007","unstructured":"Kr\u00e4mer, W.: Introduction to the Maple Power Tool intpakX. Serdica Journal of Computing, Bulgarian Academy of Sciences\u00a01(4), 467\u2013504 (2007)","journal-title":"Serdica Journal of Computing, Bulgarian Academy of Sciences"},{"key":"4_CR31","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":"4_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-0525-2","volume-title":"Advanced Arithmetic for the Digital Computer. Design of Arithmetic Units","author":"U. Kulisch","year":"2002","unstructured":"Kulisch, U.: Advanced Arithmetic for the Digital Computer. Design of Arithmetic Units. Springer, Wien (2002)"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Kulisch, U.: Computer Arithmetic and Validity \u2013 Theory. Implementation and Application. de Gruyter Studies in Mathematics\u00a033 (2008)","DOI":"10.1515\/9783110203196"},{"key":"4_CR34","unstructured":"Lohner, R.: Einschlie\u00dfung der L\u00f6sung gew\u00f6hnlicher Anfangs- und Randwertaufgaben mit Anwendungen. Dissertation, Universit\u00e4t Karlsruhe (1988)"},{"key":"4_CR35","volume-title":"Accurate Numerical Algorithms, Research Reports ESPRIT","author":"R. Lohner","year":"1989","unstructured":"Lohner, R.: Enclosing all Eigenvalues of Symmetric Matrices. In: Ullrich, C., Wolff von Gudenberg, J. (eds.) Accurate Numerical Algorithms, Research Reports ESPRIT. Springer, Heidelberg (1989)"},{"key":"4_CR36","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/S0076-5392(08)62850-7","volume-title":"Scientific Computing with Automatic Result Verification","author":"R. Lohner","year":"1993","unstructured":"Lohner, R.: Interval arithmetic in staggered correction format. In: Adams, E., Kulisch, U. (eds.) Scientific Computing with Automatic Result Verification, pp. 301\u2013321. Academic Press, San Diego (1993)"},{"key":"4_CR37","doi-asserted-by":"crossref","unstructured":"Lozier, D.W.: The NIST Digital Library of Mathematical Functions Project. Annals of Mathematics and Artificial Intelligence\u00a038 (2003)","DOI":"10.1023\/A:1022915830921"},{"key":"4_CR38","unstructured":"Markstein, P.: IA-64 and Elementary Functions: Speed and Precision. Hewlett-Packard Professional Books"},{"key":"4_CR39","unstructured":"Muller, J.-M.: Elementary Functions Algorithms and Implementation, 2nd edn (2006) ISBN: 978-0-8176-4372-0"},{"issue":"1","key":"4_CR40","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/1206040.1206042","volume":"33","author":"M. Neher","year":"2007","unstructured":"Neher, M.: Complex Standard Functions and Their Implementation in the CoStLy Library. ACM Transactions on Mathematical Software\u00a033(1), 27 pages (2007)","journal-title":"ACM Transactions on Mathematical Software"},{"key":"4_CR41","doi-asserted-by":"crossref","unstructured":"Ogita, T., Rump, S.M., Oishi, S.: Accurate Sum and Dot Product. SIAM Journal on Scientific Computing (SISC)\u00a026(6), 19552\u03310131988 (2005)","DOI":"10.1137\/030601818"},{"key":"4_CR42","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718072","volume-title":"Numerical Computing with IEEE Floating Point Arithmetic","author":"M.L. Overton","year":"2001","unstructured":"Overton, M.L.: Numerical Computing with IEEE Floating Point Arithmetic. SIAM, Philadelphia (2001)"},{"key":"4_CR43","doi-asserted-by":"crossref","unstructured":"Priest, D.: Algorithms for arbitrary precision floating point arithmetic. In: 10th IEEE Symposium on Computer Arithmetic, pp. 132\u2013143 (1991)","DOI":"10.1109\/ARITH.1991.145549"},{"key":"4_CR44","unstructured":"Revol, N.: Motivation for an Arbitrary Precision Interval Arithmetic and the MPFI Library (2002), http:\/\/www.cs.utep.edu\/interval-comp\/interval.02\/revo.pdf"},{"key":"4_CR45","unstructured":"Revol, N., Rouillier, F.: MPFI, a multiple precision interval arithmetic library based on MPFR (2005), http:\/\/mpfi.gforge.inria.fr\/"},{"key":"4_CR46","unstructured":"Rotmaier, B.: Die Berechnung der elementaren Funktionen mit beliebiger Genauigkeit. Dissertation, Universit\u00e4t Karlsruhe (1971)"},{"key":"4_CR47","unstructured":"Rump, S.M.: Kleine Fehlerschranken bei Matrixproblemen. Dissertation, Universit\u00e4t Karlsruhe (1980)"},{"issue":"2","key":"4_CR48","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/108556.108585","volume":"17","author":"D.M. Smith","year":"1991","unstructured":"Smith, D.M.: Algorithm 693; a FORTRAN package for floating-point multiple-precision arithmetic. ACM Transactions on Mathematical Software (TOMS)\u00a017(2), 273\u2013283 (1991)","journal-title":"ACM Transactions on Mathematical Software (TOMS)"},{"key":"4_CR49","volume-title":"Proceedings of the Symposium on Scientific Software","author":"H.J. Stetter","year":"1989","unstructured":"Stetter, H.J.: Staggered Correction Representation, a Feasible Approach to Dynamic Precision. In: Cai, Fosdick, Huang (eds.) Proceedings of the Symposium on Scientific Software. China University of Science and Technology Press, Beijing (1989)"},{"key":"4_CR50","doi-asserted-by":"publisher","DOI":"10.1002\/9781118032572","volume-title":"Special Functions: An Introduction to the Classical Functions of Mathematical Physics","author":"N.M. Temme","year":"1996","unstructured":"Temme, N.M.: Special Functions: An Introduction to the Classical Functions of Mathematical Physics. John Wiley & Sons Inc., Chichester (1996)"},{"key":"4_CR51","unstructured":"Toussaint, F.: Implementierung reeller und intervallm\u00e4\u00dfiger Standardfunktionen f\u00fcr eine staggered-correction Langzahlarithmetik in C-XSC. Diplomarbeit, Institut f\u00fcr Angewandte Mathematik, Universit\u00e4t Karlsruhe (1993)"},{"key":"4_CR52","unstructured":"XSC website on programming languages for scientific computing with validation, http:\/\/www.xsc.de"}],"container-title":["Lecture Notes in Computer Science","Numerical Validation in Current Hardware Architectures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01591-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T23:04:50Z","timestamp":1684969490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01591-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642015908","9783642015915"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01591-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}