{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T07:26:25Z","timestamp":1751873185935},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1976,9,1]],"date-time":"1976-09-01T00:00:00Z","timestamp":210384000000},"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":[[1976,9]]},"DOI":"10.1007\/bf02280883","type":"journal-article","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T16:01:24Z","timestamp":1138204884000},"page":"239-261","source":"Crossref","is-referenced-by-count":15,"title":["Formalization and implementation of floating-point matrix operations"],"prefix":"10.1007","volume":"16","author":[{"given":"U.","family":"Kulisch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Bohlender","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"H. 5","key":"BF02280883_CR1","first-page":"217","volume":"10","author":"H. Christ","year":"1968","unstructured":"Christ, H.: Realisierung einer Maschinenintervallarithmetik auf beliebigen ALGOL-60-Compilern. Elektronische Rechenanlagen10, H. 5, 217\u2013222 (1968).","journal-title":"Elektronische Rechenanlagen"},{"key":"BF02280883_CR2","unstructured":"Herzberger, J.: Metrische Eigenschaften von Mengensystemen und einige Anwendungen, Dr.-Dissertation, Universit\u00e4t Karlsruhe, 1969, p. 1\u201349."},{"key":"BF02280883_CR3","unstructured":"Knut, D.: The Art of Computer Programming. Addison-Wesley, 1969, Vol. 2."},{"key":"BF02280883_CR4","series-title":"Technical Summary Report","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, p. 1\u201329, and Num. Math. 18, p. 1\u201317 (1971)."},{"key":"BF02280883_CR5","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":"BF02280883_CR6","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":"BF02280883_CR7","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, published in part in Computing under the title: Formalization and Implementation of Floating-Point Arithmetics."},{"key":"BF02280883_CR8","unstructured":"Kulisch, U.: \u00dcber die Arithmetik von Rechenanlagen, Universit\u00e4t Karlsruhe, Aug. 1974, S. 1\u201374, to appear in \u201c\u00dcberblicke Mathematik 1975\u201d. Mannheim-Wien-Z\u00fcrich: Bibliographisches Institut."},{"key":"BF02280883_CR9","unstructured":"Ullrich, Ch.: Rundungsinvariante Strukturen mit \u00e4u\u00dferen Verkn\u00fcpfungen. Dr.-Dissertation, Universit\u00e4t Karlsruhe, 1972, p. 1\u201367."},{"key":"BF02280883_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-95110-7","volume-title":"Rundungsfehler","author":"J. H. Wilkinson","year":"1969","unstructured":"Wilkinson, J. H.: Rundungsfehler. Berlin-Heidelberg-New York: Springer 1969."},{"key":"BF02280883_CR11","doi-asserted-by":"crossref","unstructured":"Yoh\u00e9, J. M.: Roundings in Floating-Point Arithmetic. IEEE Transactions on Computers, Vol. C-22, No. 6, June 1973.","DOI":"10.1109\/TC.1973.5009110"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02280883.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02280883\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02280883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T16:53:46Z","timestamp":1558025626000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02280883"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976,9]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1976,9]]}},"alternative-id":["BF02280883"],"URL":"https:\/\/doi.org\/10.1007\/bf02280883","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[1976,9]]}}}