{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T06:31:24Z","timestamp":1675751484253},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1975,12,1]],"date-time":"1975-12-01T00:00:00Z","timestamp":186624000000},"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":[[1975,12]]},"DOI":"10.1007\/bf02253545","type":"journal-article","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T09:27:39Z","timestamp":1132651659000},"page":"323-348","source":"Crossref","is-referenced-by-count":7,"title":["Formalization and implementation of floating-point arithmetics"],"prefix":"10.1007","volume":"14","author":[{"given":"U.","family":"Kulisch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02253545_CR1","unstructured":"Apostolatos, N., Christ, H., Santo, H., Wippermann, H.: Rounding Control and the Algorithmic Language ALGOL-68. Report. University of Karlsruhe, Computer Center, July 1968, p. 1\u20139."},{"key":"BF02253545_CR2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BF02239180","volume":"2","author":"N. Apostolatos","year":"1967","unstructured":"Apostolatos, N., Kulisch, U.: Grundlagen einer Maschinenintervallarithmetik. Computing2, 89\u2013104 (1967).","journal-title":"Computing"},{"key":"BF02253545_CR3","first-page":"217","volume":"10","author":"H. Christ","year":"1968","unstructured":"Christ, H.: Realisierung einer Maschinenintervallarithmetik auf beliebigen ALGOL-60 Compilern. Elektronische Rechenanlagen10, 217\u2013222 (1968).","journal-title":"Elektronische Rechenanlagen"},{"key":"BF02253545_CR4","unstructured":"Good, D. J., London, R. L.: Interval Arithmetic for the Borroughs B-5500: Four ALGOL-Procedures and Proofs of their Correctness. University of Wisconsin, Computer Science Department, Technical Report Nr. 26, June 1968."},{"key":"BF02253545_CR5","unstructured":"Herzberger, J.: Metrische Eigenschaften von Mengensystemen und einige Anwendungen. Dr-Dissertation, University of Karlsruhe, 1969, p. 1\u201349."},{"key":"BF02253545_CR6","unstructured":"Knuth, D.: The Art of Computer Programming, Vol. 2. Addison-Wesley 1969."},{"key":"BF02253545_CR7","first-page":"51","volume-title":"Grundz\u00fcge der Intervallrechnung (\u00dcberblicke Mathematik)","author":"U. Kulisch","year":"1969","unstructured":"Kulisch, U.: Grundz\u00fcge der Intervallrechnung (\u00dcberblicke Mathematik), S. 51\u201398: Mannheim: Bibliographisches Institut 1969."},{"key":"BF02253545_CR8","series-title":"Technical Summary Report Nr. 1020","first-page":"1","volume-title":"An Axiomatic Approach to Rounded Computations","author":"U. Kulisch","year":"1969","unstructured":"Kulisch, U.: An Axiomatic Approach to Rounded Computations. Mathematics Research Center, The University of Wisconsin, Madison, Wisconsin, Technical Summary Report Nr. 1020, Nov. 1969, S. 1\u201329; Num. Math.18, 1\u201317 (1971)."},{"key":"BF02253545_CR9","series-title":"Technical Summary Report","first-page":"1","volume-title":"Rounding Invariant Structures","author":"U. Kulisch","year":"1970","unstructured":"Kulisch, U.: Rounding Invariant Structures, Mathematics Research Center, The University of Wisconsin, Madison, Wisconsin, Technical Summary Report Nr. 1103, Sept. 1970, p. 1\u201347."},{"key":"BF02253545_CR10","series-title":"Technical Summary Report","first-page":"1","volume-title":"Interval Arithmetic over Completely Ordered Ringoids","author":"U. Kulisch","year":"1970","unstructured":"Kulisch, U.: Interval Arithmetic over Completely Ordered Ringoids, Mathematics Research Center, The University of Wisconsin, Madison, Wisconsin, Technical Summary Report Nr. 1105, Oct. 1970, p. 1\u201356."},{"key":"BF02253545_CR11","unstructured":"Kulisch, U.: Grundlagen des Numerischen Rechnens. Niederschrift einer vierst\u00fcndigen Vorlesung, gehalten im WS 1970\/71 an der Universit\u00e4t Karlsruhe, S. 1\u2013250."},{"key":"BF02253545_CR12","unstructured":"Kulisch, U.: Implementation and Formalization of Floating-Point Arithmetics. IBM T. J. Watson-Research Center, Report Nr. RC 4608, Nov. 1973, p. 1\u201350."},{"key":"BF02253545_CR13","unstructured":"Ullrich, Ch.: Rundungsinvariante Strukturen mit \u00e4u\u00dferen Verkn\u00fcpfungen. Dr.-Dissertation, University of Karlsruhe, 1972, p. 1\u201367."},{"key":"BF02253545_CR14","volume-title":"Best Possible Floating Point Arithmetic","author":"J. M. Yoh\u00e9","year":"1970","unstructured":"Yoh\u00e9, J. M.: Best Possible Floating Point Arithmetic, Mathematics Research Center, The University of Wisconsin, Madison, Wisconsin, Technical Summary Report Nr. 1054, 1970."},{"key":"BF02253545_CR15","doi-asserted-by":"crossref","unstructured":"Yoh\u00e9, J. M.: Roundings in Floating-Point Arithmetic. IEEE Transactions on Computers, Vol. C022, No. 6, June 1973.","DOI":"10.1109\/TC.1973.5009110"},{"key":"BF02253545_CR16","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/BF02239472","volume":"11","author":"J. M. Yoh\u00e9","year":"1973","unstructured":"Yoh\u00e9, J. M.: Interval Bounds for Square Roots and Cube Roots. Computing11, 51\u201357 (1973).","journal-title":"Computing"},{"key":"BF02253545_CR17","unstructured":"Rutishauser, H.: Versuch einer Axiomatik des Numerischen Rechnens. Kurzvortrag, GAMM-Tagung, Aachen 1969."},{"key":"BF02253545_CR18","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/362851.362887","volume":"11","author":"D. W. Matula","year":"1968","unstructured":"Matula, D. W.: In- and-Out Conversions. Comm. ACM11, p. 47\u201350 (1 January, 1968).","journal-title":"Comm. ACM"},{"key":"BF02253545_CR19","first-page":"1","volume-title":"Floating Scale Base Conversion","author":"G. H. Mealy","year":"1968","unstructured":"Mealy, G. H.: Floating Scale Base Conversion. Center for Research in Computing Technology, Harvard University, Cambridge, Massachusetts, 1968, p. 1\u201313."}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02253545.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02253545\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02253545","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T10:52:26Z","timestamp":1558003946000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02253545"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975,12]]},"references-count":19,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1975,12]]}},"alternative-id":["BF02253545"],"URL":"https:\/\/doi.org\/10.1007\/bf02253545","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[1975,12]]}}}