{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,16]],"date-time":"2024-09-16T02:46:42Z","timestamp":1726454802927},"reference-count":88,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780127082455"}],"license":[{"start":{"date-parts":[[1990,1,1]],"date-time":"1990-01-01T00:00:00Z","timestamp":631152000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1016\/b978-0-12-708245-5.50006-3","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T05:35:30Z","timestamp":1404192930000},"page":"1-32","source":"Crossref","is-referenced-by-count":12,"title":["What Do We Need Beyond IEEE Arithmetic ?"],"prefix":"10.1016","author":[{"given":"G.","family":"Bohlender","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"year":"1974","series-title":"Einf\u00fchrung in die Intervallrechnung","author":"Alefeld","key":"10.1016\/B978-0-12-708245-5.50006-3_bib1"},{"year":"1983","series-title":"Introduction to Interval Computations","author":"Alefeld","key":"10.1016\/B978-0-12-708245-5.50006-3_bib2"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib3","unstructured":"Allend\u00f6rfer, U.: Dezimale Gleitpunktsysteme zur effizienten Implementierung der optimalen Rechnerarithmetik. Ph.D. thesis, Universit\u00e4t Kaiserslautern, 1986."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib4","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BF02310100","article-title":"FORTRAN-SC: A Study of a FORTRAN Extension for Engineering\/Scientific Computation with Access to ACRITH","volume":"39","author":"Bleher","year":"1987","journal-title":"Computing"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib5","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-7091-8471-4_3","article-title":"Genaue Summation von Gleitkommazahlen","volume":"1","author":"Bohlender","year":"1977","journal-title":"Computing Suppl."},{"issue":"no. 7","key":"10.1016\/B978-0-12-708245-5.50006-3_bib6","doi-asserted-by":"crossref","DOI":"10.1109\/TC.1977.1674894","article-title":"Floating-Point Computation of Functions with Maximum Accuracy","volume":"C-26","author":"Bohlender","year":"1977","journal-title":"IEEE Transactions on Computers"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib7","doi-asserted-by":"crossref","unstructured":"Bohlender, G.: Genaue Berechung mehrfacher Summen, Produkte und Wurzeln von Gleitkommazahlen und allgemeine Arithmetik in h\u00f6heren Programmiersprachen. Ph.D. thesis, Universit\u00e4t Karlsruhe, 1978.","DOI":"10.1007\/978-3-7091-8471-4_4"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib8","unstructured":"Bohlender, G., Gr\u00fcner, K.: Gesichtspunkte zur Implementierung einer optimalen Arithmetik. In [Kul 82]."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib9","doi-asserted-by":"crossref","unstructured":"Bohlender, G., Gr\u00fcner, K.: Realization of an Optimal Computer Arithmetic. In [Kul 83].","DOI":"10.1016\/B978-0-12-428660-3.50016-1"},{"year":"1986","series-title":"PASCAL-SC: Wirkungsvoll programmieren, kontrolliert rechnen","author":"Bohlender","key":"10.1016\/B978-0-12-708245-5.50006-3_bib10"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib11","unstructured":"Bohlender, G., Teufel, T.: Demonstration of the Bit-Slice Processor Unit BAP-SC in a 68000 Environment. Proceedings of the 11th IMACS World Congress on Systems Simulation and Scientific Computation, Oslo, 1985. Appeared in: Computer Systems: Perfomance and Simulation, North Holland, 1986."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib12","article-title":"PASCAL-SC: A Computer Language for Scientific Computation","volume":"17","author":"Bohlender","year":"1987"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib13","unstructured":"Bohlender, G., Teufel, T.: BAP-SC: A Decimal Floating-Point Processor for Optimal Arithmetic. Appeared on pp 31\u201358 in [Kau 87], 1987."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib14","unstructured":"Bohlender, G., Miranker, W.L., Wolff von Gudenberg, J.: Floating-Point Systems for Theorem Proving. Proceedings of the Computer Assisted Proof Conference, Cincinnati, March 1989; IBM Research Report RC 15101 (# 67356), Yorktown Heights, 1989."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib15","unstructured":"Bohlender, G., Kornerup, P., Matula, D.W., Walter, W.: A Proposal for Exact Floating-Point Operations in Fortran 8x. Proposal submitted to ANSI Committee X3.9\u2013198x, November 1989."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib16","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF01932993","article-title":"Roundoff Errors in Floating-Point Summation","volume":"15","author":"Caprani","year":"1975","journal-title":"BIT"},{"issue":"6","key":"10.1016\/B978-0-12-708245-5.50006-3_bib17","doi-asserted-by":"crossref","first-page":"657","DOI":"10.1109\/12.2205","article-title":"Systolic Super Summation","volume":"37","author":"Cappello","year":"1988","journal-title":"IEEE Transactions on Computers"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib18","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/BF01397083","article-title":"A Floating-Point Technique for Extending the Available Precision","volume":"18","author":"Dekker","year":"1971","journal-title":"Numer. Math."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib19","unstructured":"Dietrich, Th.: Realisierung der optimalen Arithmetik in FORTRAN 8x. Diplom thesis, Institut f\u00fcr Angewandte Mathematik, Universit\u00e4t Karlsruhe, 1985."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib20","unstructured":"Erl, M., Hodgson, G., Kok, J., Winter, D., Zoellner, A.: Design and Implementation of Accurate Operators in Ada. ESPRIT-DIAMOND, Del. 1\u20132\/4, 1988."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib21","unstructured":"Falc\u00f3 Korn, C., K\u00f6nig, S., Gutzwiller, S.: MODULA-SC, A Precompiler to MODULA-2. SCAN-89, Basel (Oct. 2\u20136, 1989), in [Ull 90]."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib22","unstructured":"Hafner, K.: Chips for High Precision Arithmetic. SCAN-89, Basel (Oct. 2\u20136, 1989), in this volume."},{"year":"1989","series-title":"APL\/PCXA, Erweiterung der IEEE Arithmetik f\u00fcr technisch wissenschaftliches Rechnen","author":"Hahn","key":"10.1016\/B978-0-12-708245-5.50006-3_bib23"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib24","unstructured":"Hahn, W., Mohr, K.: APL\/PCXA. SCAN-89, Basel (Oct. 2\u20136, 1989), in [Ull 901."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib25","unstructured":"Hammer, R.: How Reliable is the Arithmetic of Vector Computers? SCAN-89, Basel (Oct. 2\u20136, 1989), in [Ull 90]."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib26","doi-asserted-by":"crossref","unstructured":"Hull, T. E., Abrham, A., Cohen, M. S., Curley, A.F.X., Hall, C.B., Penny, D.A., Sawchuk, J.T.M.: Numerical Turing. ACM SIGNUM Newsletter 20, 3, 26\u201334, July 1985.","DOI":"10.1145\/1057947.1057949"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib27","doi-asserted-by":"crossref","unstructured":"Hull, T.E., Cohen, M.S.: Toward an Ideal Computer Arithmetic. Proceedings of the 8th Symposium on Computer Arithmetic, Como, 131\u2013138, IEEE Computer Society, 1987.","DOI":"10.1109\/ARITH.1987.6158701"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib28","unstructured":"Husung, D.: ABACUS: Programmierwerkzeug mit hochgenauer Arithmetik f\u00fcr Algorithmen mit verifizierten Ergebnissen. Diplom thesis, Institut f\u00fcr Angewandte Mathematik, Universit\u00e4t Karlsruhe, 1988."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib29","unstructured":"Husung, D., Rump, S.M.: ABACUS. SCAN-89, Basel, Oct. 2\u20136, 1989."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib30","unstructured":"Husung, D.: TPX, Version 1.0. Public-Domain-Software. TU Hamburg \/ Informatik III, Ei\u00dfendorfer Str. 38, D-2100 Hamburg 90, 1989."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib31","unstructured":"J\u00fcllig, H.-R: Untersuchung zur Implementierung von Skalarproduktaus-dr\u00fccken. Diplom thesis, Institut f\u00fcr Angewandte Mathematik, Universit\u00e4t Karlsruhe, 1987."},{"issue":"no. 1","key":"10.1016\/B978-0-12-708245-5.50006-3_bib32","doi-asserted-by":"crossref","DOI":"10.1145\/363707.363723","article-title":"Further Remarks on Reducing Truncation Errors","volume":"8","author":"Kahan","year":"1965","journal-title":"Comm. ACM"},{"year":"1984","series-title":"Self-Validating Numerics for Function Space Problems","author":"Kaucher","key":"10.1016\/B978-0-12-708245-5.50006-3_bib33"},{"year":"1987","series-title":"Computerarithmetic: Scientific Computation and Programming Languages","key":"10.1016\/B978-0-12-708245-5.50006-3_bib34"},{"year":"1988","series-title":"Genaue Rechnerarithmetik, Intervallrechnung und Programmieren mit PASCAL-SC","author":"Kie\u00dfling","key":"10.1016\/B978-0-12-708245-5.50006-3_bib35"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib36","doi-asserted-by":"crossref","unstructured":"Kirchner, R., Kulisch, U.: Arithmetic for Vector Processors. Proc. of the 8th Symp. on Computer Arithmetic, May 19 - 21, 1987 in Como, IEEE Computer Society, 256\u2013269, 1987.","DOI":"10.1109\/ARITH.1987.6158704"},{"issue":"no. 3","key":"10.1016\/B978-0-12-708245-5.50006-3_bib37","article-title":"Accurate Arithmetic for Vector Processing","volume":"5","author":"Kirchner","year":"1988","journal-title":"Journal of Parallel and Distributed Computing (Academic Press)"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib38","unstructured":"Kn\u00f6fel, A.: Entwurf eines Arithmetikprozessors f\u00fcr das optimale Skalarprodukt mit Hilfe eines Silicon Compilers. Diplom thesis, Institut f\u00fcr Angewandte Mathematik \/ Institut f\u00fcr Rechnerentwurf und Fehlertoleranz, Universit\u00e4t Karlsruhe, 1988."},{"year":"1973","series-title":"The Art of Computer Programming, Volume 1\/ Fundamental Algorithms","author":"Knuth","key":"10.1016\/B978-0-12-708245-5.50006-3_bib39"},{"year":"1981","series-title":"The Art of Computer Programming, Volume 2\/ Seminumerical Algorithms","author":"Knuth","key":"10.1016\/B978-0-12-708245-5.50006-3_bib40"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib41","unstructured":"Kreutzenberger, R.: Formelauswerter mit E-Verifikation f\u00fcr allgemeine arithmetische Ausdr\u00fccke und Einbau in einen FORTRAN-SC Compiler. Diplom thesis, Institut f\u00fcr Angewandte Mathematik, Universit\u00e4t Karlsruhe, 1988."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib42","doi-asserted-by":"crossref","unstructured":"Kr\u00fcckeberg, F.: Arbitrary Accuracy with Variable Precision Arithmetic. In: Interval Mathematics (Proc. of the Intern. Symposium 1985, ed. by K. Nickel), Lecture Notes in Computer Science 212, 95\u2013101, 1986.","DOI":"10.1007\/3-540-16437-5_9"},{"year":"1976","series-title":"Grundlagen des numerischen Rechnens: Mathematische Begr\u00fcndung der Rechnerarithmetik","author":"Kulisch","key":"10.1016\/B978-0-12-708245-5.50006-3_bib43"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib44","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF02280883","article-title":"Formalization and Implementation of Floating-Point Matrix Operations","volume":"16","author":"Kulisch","year":"1976","journal-title":"Computing"},{"year":"1981","series-title":"Computer Arithmetic in Theory and Practice","author":"Kulisch","key":"10.1016\/B978-0-12-708245-5.50006-3_bib45"},{"year":"1982","series-title":"Wissenschaftliches Rechnen und Programmiersprachen","key":"10.1016\/B978-0-12-708245-5.50006-3_bib46"},{"year":"1983","series-title":"A New Approach to Scientific Computation","key":"10.1016\/B978-0-12-708245-5.50006-3_bib47"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib48","unstructured":"Kulisch, U., Bohlender, G.: Features of a Hardware Implementation of an Optimal Arithmetic. In: Kulisch\/Miranker (eds.): A New Approach to Scientific Computation, 1983."},{"issue":"no. 1","key":"10.1016\/B978-0-12-708245-5.50006-3_bib49","doi-asserted-by":"crossref","DOI":"10.1137\/1028001","article-title":"The Arithmetic of the Digital Computer: A New Approach","volume":"28","author":"Kulisch","year":"1986","journal-title":"SIAM Review"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib50","unstructured":"Kulisch, U. (ed.): PASCAL-SC: A PASCAL Extension for Scientific Computation; Information Manual and Floppy Disks; Version IBM PC\/AT; Operating System DOS. Wiley-Teubner Series in Computer Science, B. G. Teubner, J. Wiley & Sons, 1987."},{"year":"1987","series-title":"PASCAL-SC: A PASCAL Extension for Scientific Computation;","key":"10.1016\/B978-0-12-708245-5.50006-3_bib51"},{"article-title":"Scientific Computation with Automatic Result Verification","year":"1988","series-title":"Computing","key":"10.1016\/B978-0-12-708245-5.50006-3_bib52"},{"year":"1989","series-title":"Wissenschaftliches Rechnen mit Ergebnisverifikation, Eine Einf\u00fchrung","key":"10.1016\/B978-0-12-708245-5.50006-3_bib53"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib54","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BF02241816","article-title":"Parallel Algorithms for the Rounding Exact Summation of Floating Point Numbers","volume":"28","author":"Leuprecht","year":"1982","journal-title":"Computing"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib55","doi-asserted-by":"crossref","unstructured":"Lichter, P.: Realisierung eines VLSI-Chips f\u00fcr das Gleitkomma-Skalarprodukt der Kulisch-Arithmetik. Diplom thesis, Institut f\u00fcr Angewandte Mathematik und Informatik, Universit\u00e4t Saarbr\u00fccken, 1988.","DOI":"10.1007\/978-3-642-74135-7_4"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib56","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF01932946","article-title":"Analysis of Some Known Methods of Improving the Accuracy of Floating-Point Sums","volume":"14","author":"Linnainmaa","year":"1974","journal-title":"Bit"},{"issue":"no. 6","key":"10.1016\/B978-0-12-708245-5.50006-3_bib57","doi-asserted-by":"crossref","DOI":"10.1145\/362384.362498","article-title":"Accurate Floating-Point Summation","volume":"13","author":"Linz","year":"1970","journal-title":"Comm. ACM"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib58","unstructured":"Lortz, B.: Eine Langzahlarithmetik mit optimaler einseitiger Rundung. Ph.D. thesis, Universit\u00e4t Karlsruhe, 1971."},{"issue":"no. 11","key":"10.1016\/B978-0-12-708245-5.50006-3_bib59","doi-asserted-by":"crossref","DOI":"10.1145\/362854.362889","article-title":"On Accurate Floating-Point Summation","volume":"14","author":"Malcolm","year":"1971","journal-title":"Comm. ACM"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib60","unstructured":"Markov, S. Velichkov, T.: HIFICOMP - a Subroutine Library for Highly Efficient and Accurate Computation. SCAN-89, Basel (Oct. 2\u20136, 1989), in [Ull 90]."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib61","unstructured":"Metzger, M.: Weiterentwicklung von Programmiersprachen f\u00fcr die Numerik unter besonderer Ber\u00fccksichtigung der Rechengenauigkeit. Ph.D. thesis, Universit\u00e4t Karlsruhe, 1988."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib62","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/BF01975722","article-title":"Quasi Double-Precision in Floating-Point Addition","volume":"5","author":"M\u00f8ller","year":"1965","journal-title":"Bit"},{"year":"1966","series-title":"Interval Analysis","author":"Moore","key":"10.1016\/B978-0-12-708245-5.50006-3_bib63"},{"year":"1988","series-title":"Reliability in Computing, The Role of Interval Methods in Scientific Computing","key":"10.1016\/B978-0-12-708245-5.50006-3_bib64"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib65","unstructured":"Neaga, M.: Erweiterungen von Programmiersprachen f\u00fcr wissenschaftliches Rechnen und Er\u00f6rterung einer Implementierung. Ph.D. thesis, Universit\u00e4t Kaiserslautern, 1984."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib66","doi-asserted-by":"crossref","first-page":"400","DOI":"10.1007\/BF01404922","article-title":"Correction d'une somme en arithm\u00e9tique ag virgule flottante","volume":"19","author":"Pichat","year":"1972","journal-title":"Num. Math."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib67","unstructured":"Ratz, D.: The Effects of the Arithmetic of Vector Computers on Basic Numerical Algorithms. SCAN-89, Basel (Oct. 2\u20136, 1989), in [Ull 90]."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib68","unstructured":"Rump, S. M.: Kleine Fehlerschranken bei Matrixproblemen. Ph.D. thesis, Universit\u00e4t Karlsruhe, 1980."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib69","doi-asserted-by":"crossref","unstructured":"Rump, S. M.: Solving Algebraic Problems with High Accuracy. In [Kul 83], 51\u2013120, 1983.","DOI":"10.1016\/B978-0-12-428660-3.50010-0"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib70","series-title":"Jahrbuch \u00dcberblicke Mathematik","first-page":"163","article-title":"How Reliable are Results of Computers?","author":"Rump","year":"1983"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib71","unstructured":"Schumacher, G.: Genauigkeitsfragen bei algebraisch-numerischen Algorithmen auf Skalar- und Vektorrechnern. Ph.D. thesis, Universit\u00e4t Karlsruhe, 1989."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib72","unstructured":"Suess, W.: Das genaue Skalarprodukt im IEEE-Zahlformat. Diplom thesis, Institut f\u00fcr Angewandte Mathematik, Universit\u00e4t Karlsruhe, 1986."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib73","unstructured":"Teufel, T.: Ein optimaler Gleitkommaprozessor. Ph.D. thesis, Universit\u00e4t Karlsruhe, 1984."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib74","unstructured":"Teufel, T., Bohlender, G.: A Bit-Slice Processor Unit for Optimal Arithmetic. Proceedings of the 11th IMACS World Congress on Systems Simulation and Scientific Computation, Oslo, 1985. Appeared in: Computer Systems: Performance and Simulation, North Holland, 1986."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib75","unstructured":"Ullrich, Ch. (ed.): Contributions to Computer Arithmetic and Self-Validating Numerical Methods. Special issue of IMACS Journal on Math. and Computers in Simulation, to appear 1990."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib76","unstructured":"Velichkov, T., Cohen, R., Stoyanov, P.: Basic Computer Arithmetic Operations. SCAN-89, Basel (Oct. 2\u20136, 1989), in [Ull 90]."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib77","unstructured":"Winter, T.: Ein VLSI-Chip f\u00fcr Gleitkomma-Skalarprodukt mit maximaler Genauigkeit. Diplom thesis, Institut f\u00fcr Angewandte Mathematik und Informatik, Universit\u00e4t Saarbr\u00fccken, 1985."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib78","unstructured":"Winkler, S.: Auswertung von Programmteilen mit maximaler Genauigkeit. Diplom thesis, Institut f\u00fcr Angewandte Mathematik, Universit\u00e4t Karlsruhe, 1988."},{"issue":"no. 6","key":"10.1016\/B978-0-12-708245-5.50006-3_bib79","doi-asserted-by":"crossref","DOI":"10.1145\/512274.512287","article-title":"Reducing Truncation Errors by Programming","volume":"7","author":"Wolfe","year":"1964","journal-title":"Comm. ACM"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib80","unstructured":"Wolff von Gudenberg, J.: Arithmetische und programmiersprachliche Werkzeuge f\u00fcr die Numerik. Habilitation thesis, Universit\u00e4t Karlsruhe, 1988."},{"year":"1989","series-title":"The Design of a Chip for Scientific Computation","author":"Yilmaz","key":"10.1016\/B978-0-12-708245-5.50006-3_bib81"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib82","unstructured":"IBM System\/370 RPQ, High-Accuracy Arithmetic. SA 22\u20137093-0, IBM Corporation, 1984."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib83","unstructured":"IBM High-Accuracy Arithmetic Subroutine Library (ACRITH), General Information Manual. 3rd ed., GC 33\u20136163-02, IBM Corporation, 1986."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib84","unstructured":"IBM Verfahren und Schaltungsanordnung zur Addition von Gleitkommazahlen. Europ\u00e4ische Patentanmeldung, EP 0 265 555 A1, 1986."},{"year":"1985","series-title":"IEEE Standard for Binary Floating-Point Arithmetic","author":"American National Standards Institute \/ Institute of Electrical and Electronics Engineers","key":"10.1016\/B978-0-12-708245-5.50006-3_bib85"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib86","unstructured":"American National Standards Institute \/ Institute of Electrical and Electronics Engineers: IEEE Standard for Radix-Independent Floating-Point Arithmetic. ANSI\/IEEE Std 854\u20131987, New York, 1987."},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib87","first-page":"297","article-title":"Resolution on Computer Arithmetic","volume":"31","author":"IMACS, GAMM","year":"1989","journal-title":"Mathematics and Computers in Simulation"},{"key":"10.1016\/B978-0-12-708245-5.50006-3_bib88","unstructured":"SIEMENS ARITHMOS, (BS 2000) Benutzerhandbuch. SIEMENS AG, U2900\u2013J\u2013Z87\u20131, 1986."}],"container-title":["Computer Arithmetic and Self-Validating Numerical Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780127082455500063?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780127082455500063?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T06:13:57Z","timestamp":1565590437000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780127082455500063"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9780127082455"],"references-count":88,"URL":"https:\/\/doi.org\/10.1016\/b978-0-12-708245-5.50006-3","relation":{},"subject":[],"published":{"date-parts":[[1990]]}}}