{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:37Z","timestamp":1725663337820},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540159841"},{"type":"electronic","value":"9783540396857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15984-3_286","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:29:49Z","timestamp":1330194589000},"page":"322-324","source":"Crossref","is-referenced-by-count":0,"title":["Floating-point computation in PASCAL-SC with verified results"],"prefix":"10.1007","author":[{"given":"J. Wolff","family":"Gudenberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"58_CR1","volume-title":"Introduction to Interval Computations","author":"G. Alefeld","year":"1983","unstructured":"G. Alefeld, J. Herzberger: Introduction to Interval Computations. Tr. by J. Rokne, Academic Press, New York (1983)"},{"key":"58_CR2","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/B978-0-12-428660-3.50019-7","volume-title":"A New Approach to Scientific Computation","author":"G. Bohlender","year":"1983","unstructured":"G. Bohlender, H. B\u00f6hm, K. Gr\u00fcner, E. Kaucher, R. Klatte, W. Kr\u00e4mer, U.W. Kulisch, W.L. Miranker, S.M. Rump, Ch. Ullrich, J. Wolff v. Gudenberg: MATRIX PASCAL in [8] p. 311\u2013384"},{"key":"58_CR3","volume-title":"A New Approach to Scientific Computation","author":"G. Bohlender","year":"1983","unstructured":"G. Bohlender, U. Kulisch: Features of a hardware implementation of an optimal arithmetic, in [8]"},{"key":"58_CR4","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/355769.355775","volume":"4","author":"R.P. Brent","year":"1978","unstructured":"R.P. Brent: A Fortran multiple-precision arithmetic package, ACM Trans. Math. Software, 4 (1978), p. 57\u201370","journal-title":"ACM Trans. Math. Software"},{"key":"58_CR5","doi-asserted-by":"crossref","unstructured":"R. J. Fateman: Symbolic and Algebraic Computer Programming Systems. SIGSAM Bulletin (15) No. 1, 1981","DOI":"10.1145\/1089242.1089245"},{"key":"58_CR6","volume-title":"Grundlagen des Numerischen Rechnens","author":"U. Kulisch","year":"1976","unstructured":"U. Kulisch: Grundlagen des Numerischen Rechnens, BI, Mannheim (1976)"},{"key":"58_CR7","volume-title":"Computer Arithmetic in Theory and Practice","author":"U. Kulisch","year":"1981","unstructured":"U. Kulisch, W.L. Miranker: Computer Arithmetic in Theory and Practice, Academic Press, New York (1981)"},{"volume-title":"A New Approach to Scientific Computation","year":"1983","key":"58_CR8","unstructured":"U. Kulisch, W.L. Miranker (ed): A New Approach to Scientific Computation, Academic Press, New York (1983)"},{"key":"58_CR9","unstructured":"U. Kulisch, W.L. Miranker: The Arithmetic of the Digital Computer, IBM Research Report, RC 10580, (1984)"},{"key":"58_CR10","series-title":"Berichte des German Chapter of the ACM","volume-title":"Wissenschaftliches Rechnen und Programmiersprachen","year":"1982","unstructured":"U. Kulisch, Ch. Ullrich (ed): Wissenschaftliches Rechnen und Programmiersprachen, Berichte des German Chapter of the ACM, 10, Teubner, Stuttgart (1982)"},{"issue":"6","key":"58_CR11","first-page":"268","volume":"24","author":"S.M. Rump","year":"1982","unstructured":"S.M. Rump: Computer und Rechengenauigkeit, Elektron. Rechenanlagen 24 (1982) Heft 6, p. 268\u2013277","journal-title":"Elektron. Rechenanlagen"},{"issue":"6","key":"58_CR12","first-page":"126","volume":"25","author":"S.M. Rump","year":"1983","unstructured":"S.M. Rump: Mathematik auf dem Rechner, Elektron. Rechenanlagen 25 (1983) Heft 6, p. 126\u2013132","journal-title":"Elektron. Rechenanlagen"},{"key":"58_CR13","first-page":"225","volume-title":"A New Approach to Scientific Computation","author":"J. Wolff","year":"1983","unstructured":"J. Wolff v. Gudenberg: An Introduction to MATRIX PASCAL in [8] p. 225\u2013246"}],"container-title":["Lecture Notes in Computer Science","EUROCAL '85"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15984-3_286.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:09:20Z","timestamp":1605643760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15984-3_286"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540159841","9783540396857"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-15984-3_286","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}