{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:44:03Z","timestamp":1755218643381,"version":"3.43.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2001,8,1]],"date-time":"2001-08-01T00:00:00Z","timestamp":996624000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,8,1]],"date-time":"2001-08-01T00:00:00Z","timestamp":996624000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliable Computing"],"published-print":{"date-parts":[[2001,8]]},"DOI":"10.1023\/a:1011463324243","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T05:16:33Z","timestamp":1040620593000},"page":"321-340","source":"Crossref","is-referenced-by-count":4,"title":["Automatic Forward Error Analysis for Floating Point Algorithms"],"prefix":"10.1007","volume":"7","author":[{"given":"Walter","family":"Kr\u00e4mer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armin","family":"Bantle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"337466_CR1","volume-title":"Einf\u00fchrung in die Intervallrechnung","author":"G. Alefeld","year":"1974","unstructured":"Alefeld, G. and Herzberger, J.: Einf\u00fchrung in die Intervallrechnung, Bibliographisches Institut, Mannheim, 1974."},{"key":"337466_CR2","unstructured":"Bantle, A. and Kr\u00e4mer, W.: Ein Kalk\u00fcl f \u00fcr verl\u00e4\u00dfliche absolute und relative Fehlerabsch \u00e4tzungen, Preprint 98\/5 des IWRMM, Universit\u00e4t Karlsruhe, 1998."},{"issue":"1","key":"337466_CR3","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1137\/0711010","volume":"11","author":"F. L. Bauer","year":"1974","unstructured":"Bauer, F. L.: Computational Graphs and Rounding Error, SIAM J. Numer. Anal.\n11 (1) (1974), pp.87-96.","journal-title":"SIAM J. Numer. Anal."},{"key":"337466_CR4","unstructured":"Blomquist, F. and Kr\u00e4mer, W.: Algorithmen mit garantierten Fehlerschranken f\u00fcr die Fehlerund die komplement\u00e4re Fehlerfunktion, Preprint 97\/3 desIWRMM, Universit\u00e4t Karlsruhe, 1997."},{"issue":"5","key":"337466_CR5","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1145\/368325.368329","volume":"2","author":"J.W. Carr III","year":"1959","unstructured":"Carr, J.W. III: Error Analysis in Floating Point Arithmetic, Comm. ACM\n2 (5) (1959), pp.10-15.","journal-title":"Comm. ACM"},{"issue":"4","key":"337466_CR6","doi-asserted-by":"crossref","first-page":"887","DOI":"10.1137\/0905062","volume":"5","author":"J. W. Demmel","year":"1984","unstructured":"Demmel, J. W.: Underflow and the Reliability of Numerical Software, SIAM J. Sci. Statist. Comput.\n5 (4) (1984), pp.887-919.","journal-title":"SIAM J. Sci. Statist. Comput."},{"key":"337466_CR7","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1109\/ARITH.1995.465355","volume-title":"Proc. 12th IEEE Symposium on Computer Arithmetic, Bath, England","author":"W. E. Ferguson Jr","year":"1995","unstructured":"Ferguson, Jr, W. E.: Exact Computation of a Sum or Difference with Applications to Argument Reduction, in: Knowles, S. and McAllister, W. H. (eds), Proc. 12th IEEE Symposium on Computer Arithmetic, Bath, England, IEEE Computer Society Press, Los Alamitos, CA, USA, 1995, pp. 216-221."},{"key":"337466_CR8","unstructured":"Fischer, H.-Ch.: Schnelle automatische Differentiation, Einschlie\u00dfungsmethoden und Anwendungen, Dissertation, Universit\u00e4t Karlsruhe, 1990."},{"key":"337466_CR9","volume-title":"Accuracy and Stability of Numerical Algorithms","author":"N. J. Higham","year":"1996","unstructured":"Higham, N. J.: Accuracy and Stability of Numerical Algorithms, Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, 1996."},{"key":"337466_CR10","unstructured":"Hofschuster, W. and Kr\u00e4mer, W.: Ein rechnergest\u00fctzter Fehlerkalk\u00fcl mit Anwendung auf ein genaues Tabellenverfahren, Preprint 96\/5 des IWRMM, Universit\u00e4t Karlsruhe, 1996."},{"issue":"3","key":"337466_CR11","first-page":"239","volume":"3","author":"W. Hofschuster","year":"1997","unstructured":"Hofschuster, W. and Kr\u00e4mer, W.: A Computer Oriented Approach to Get Sharp Reliable Error Bounds, Reliable Computing 3 (3) (1997), pp. 239\u2013248.","journal-title":"A Computer Oriented Approach to Get Sharp Reliable Error Bounds, Reliable Computing"},{"key":"337466_CR12","unstructured":"Hofschuster, W. and Kr\u00e4mer, W.: FI LIB, eine schnelle und portable Funktionsbibliothek f\u00fcr reelle Argumente und reelle Intervalle im IEEE-Double-Format, Preprint 98\/5 des IWRMM, Universit\u00e4t Karlsruhe, 1998."},{"key":"337466_CR13","unstructured":"IEEE Standard for Binary Floating-Point Arithmetic, ANSI\/IEEE Standard 754\u20131985, Institute of Electrical and Electronics Engineers, New York, 1985. Reprinted in SIGPLAN Notices\n22 (2), (1987), pp. pp 9\u201325."},{"key":"337466_CR14","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/BF03167059","volume":"1","author":"M. Iri","year":"1984","unstructured":"Iri, M.: Simultaneous Computation of Functions, Partial Derivatives and Error Estimates of Rounding Errors, Japan J. Appl. Math.\n1 (1984), pp 223\u2013252.","journal-title":"Japan J. Appl. Math."},{"key":"337466_CR15","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., and Wiethoff, A.: C-XSC: A C++ Class Library for Extended Scientific Computing, Springer-Verlag, Heidelberg, 1993."},{"key":"337466_CR16","doi-asserted-by":"crossref","unstructured":"Kr\u00e4mer, W.:A Priori Worst Case Error Bounds for Floating-Point Computations, in: Proceedings of the 13th IEEE Symp. on Computer Arithmetic, Asilomar, California, 1997, pp.64\u201371. Also in: IEEE Transactions on Computers\n47 (7) (1998).","DOI":"10.1109\/ARITH.1997.614880"},{"issue":"2","key":"337466_CR17","first-page":"147","volume":"4","author":"W. Kr\u00e4mer","year":"1998","unstructured":"Kr\u00e4mer, W.: Constructive Error Analysis, Journal of Universal Computer Science (JUCS)\n4 (2) (1998), pp.147\u2013163.","journal-title":"Journal of Universal Computer Science (JUCS)"},{"key":"337466_CR18","volume-title":"Grundlagen des Numerischen Rechnens","author":"U. Kulisch","year":"1976","unstructured":"Kulisch, U.: Grundlagen des Numerischen Rechnens, Bibliographisches Institut, Mannheim,1976."},{"issue":"2","key":"337466_CR19","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1145\/355637.355639","volume":"1","author":"W. Miller","year":"1975","unstructured":"Miller, W.: Software for Roundoff Analysis, ACM Trans. Math. Software\n1 (2) (1975), pp.108\u2013128.","journal-title":"ACM Trans. Math. Software"},{"key":"337466_CR20","doi-asserted-by":"crossref","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations, Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511526473"},{"key":"337466_CR21","volume-title":"On Properties of Floating Point Arithmetics: Numerical Stability and the Cost of Accurate Computations","author":"D. M. Priest","year":"1992","unstructured":"Priest, D. M.: On Properties of Floating Point Arithmetics: Numerical Stability and the Cost of Accurate Computations, Ph.D. thesis, Mathematics Department, University of California, Berkeley, CA, USA, 1992, ftp:\/\/ftp.icsi.berkeley.edu\/pub\/theory\/priest-thesis.ps.Z."},{"issue":"9","key":"337466_CR22","doi-asserted-by":"crossref","first-page":"813","DOI":"10.1145\/361573.361581","volume":"15","author":"P. L. Richman","year":"1972","unstructured":"Richman, P. L.: Automatic Error Analysis for Determining Precision, Comm. ACM\n15 (9) (1972), pp.813\u2013817.","journal-title":"Comm. ACM"},{"key":"337466_CR23","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/978-3-7091-8577-3_12","volume":"2","author":"R. Scherer","year":"1980","unstructured":"Scherer, R. and Zeller, K.: Shorthand Notation for Rounding Errors, Computing Suppl.\n2 (1980), pp.165\u2013168.","journal-title":"Computing Suppl."},{"key":"337466_CR24","volume-title":"Genauigkeitsfragen bei algebraisch-numerischen Algorithmen auf Skalar-und Vektorrechnern","author":"G. Schumacher","year":"1989","unstructured":"Schumacher, G.: Genauigkeitsfragen bei algebraisch-numerischen Algorithmen auf Skalar-und Vektorrechnern, Dissertation, Universit\u00e4t Karlsruhe, 1989."},{"key":"337466_CR25","volume-title":"Floating-Point Computation","author":"P. H. Sterbenz","year":"1974","unstructured":"Sterbenz, P. H.: Floating-Point Computation, Prentice-Hall, Englewood Cliffs, NJ, 1974."},{"key":"337466_CR26","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/978-3-7091-8577-3_13","volume":"2","author":"F. Stummel","year":"1980","unstructured":"Stummel, F.: Rounding Error Analysis of Elementary Numerical Algorithms, Computing. Suppl.\n2 (1980), pp.169\u2013195.","journal-title":"Computing. Suppl."}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011463324243.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1011463324243\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011463324243.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T09:33:08Z","timestamp":1754472788000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1011463324243"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,8]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2001,8]]}},"alternative-id":["337466"],"URL":"https:\/\/doi.org\/10.1023\/a:1011463324243","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"type":"print","value":"1385-3139"},{"type":"electronic","value":"1573-1340"}],"subject":[],"published":{"date-parts":[[2001,8]]}}}