{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T11:56:19Z","timestamp":1759838179195},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2005,6,1]],"date-time":"2005-06-01T00:00:00Z","timestamp":1117584000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliable Comput"],"published-print":{"date-parts":[[2005,6]]},"DOI":"10.1007\/s11155-005-3615-2","type":"journal-article","created":{"date-parts":[[2005,5,4]],"date-time":"2005-05-04T10:50:45Z","timestamp":1115203845000},"page":"191-205","source":"Crossref","is-referenced-by-count":9,"title":["Fast Inclusion of Interval Matrix Multiplication"],"prefix":"10.1007","volume":"11","author":[{"given":"Takeshi","family":"Ogita","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin\u2019ichi","family":"Oishi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Introduction to Interval Computations","author":"G. Alefeld","year":"1983","unstructured":"Alefeld, G. and Herzberger, J.: Introduction to Interval Computations, Academic Press, New York, 1983."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/77626.79170","volume":"16","author":"J. J. Dongarra","year":"1990","unstructured":"Dongarra, J. J., Croz, J. D., Duff, I. S., and Hammarling, S.: Algorithm 679: A Set of Level 3 Basic Linear Algebra Subprograms, ACMTrans. Math. Softw. 16 (1990), pp. 1\u201317.","journal-title":"ACMTrans. Math. Softw."},{"key":"CR3","volume-title":"Matrix Computations","author":"G. H. Golub","year":"1996","unstructured":"Golub, G. H. and Van Loan, C. F.: Matrix Computations, 3rd ed., The Johns Hopkins University Press, Baltimore and London, 1996.","edition":"3"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1137\/1028001","volume":"28","author":"U. W. Kulisch","year":"1986","unstructured":"Kulisch, U. W. and Miranker, W. L.: The Arithmetic of the Digital Computer: A New Approach, SIAM Review 28 (1986), pp. 1\u201340.","journal-title":"SIAM Review"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/S0024-3795(00)00272-X","volume":"324","author":"S. Oishi","year":"2001","unstructured":"Oishi, S.: Fast Enclosure of Matrix Eigenvalues and Singular Values via Rounding Mode Controlled Computation, Linear Alg. Appl. 324 (2001), pp. 133\u2013146.","journal-title":"Linear Alg. Appl."},{"issue":"4","key":"CR6","doi-asserted-by":"crossref","first-page":"755","DOI":"10.1007\/s002110100310","volume":"90","author":"S. Oishi","year":"2002","unstructured":"Oishi, S. and Rump, S. M.: Fast Verification of Solutions of Matrix Equations, Numer. Math. 90 (4)(2002), pp. 755\u2013773.","journal-title":"Numer. Math."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0024-3795(00)00279-2","volume":"324","author":"S. M. Rump","year":"2001","unstructured":"Rump, S. M.: Computational Error Bounds for Multiple or Nearly Multiple Eigenvalues, Linear Alg. Appl. 324 (2001), pp. 209\u2013226.","journal-title":"Linear Alg. Appl."},{"issue":"3","key":"CR8","doi-asserted-by":"crossref","first-page":"534","DOI":"10.1023\/A:1022374804152","volume":"39","author":"S. M. Rump","year":"1999","unstructured":"Rump, S. M.: Fast and Parallel Interval Arithmetic, BIT 39 (3)(1999), pp. 534\u2013554.","journal-title":"BIT"},{"key":"CR9","unstructured":"Rump, S. M.: INTLAB\u2014INTerval LABoratory, Version 4.1.1, 2003, http:\/\/www.ti3.tu-harburg.de\/~rump\/intlab\/"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF02320201","volume":"47","author":"S. M. Rump","year":"1992","unstructured":"Rump, S. M.: On the Solution of Interval Linear Systems, Computing 47 (1992), pp. 337\u2013353.","journal-title":"Computing"},{"issue":"1\u20132","key":"CR11","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0167-8191(00)00087-9","volume":"27","author":"R. C. Whaley","year":"2001","unstructured":"Whaley, R. C., Petitet, A., and Dongarra, J. J.: Automated Empirical Optimization of Software and the ATLAS Project, Parallel Comput. 27 (1\u20132)(2001), pp. 3\u201325.","journal-title":"Parallel Comput."}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11155-005-3615-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11155-005-3615-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11155-005-3615-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T04:31:34Z","timestamp":1559363494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11155-005-3615-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,6]]}},"alternative-id":["3615"],"URL":"https:\/\/doi.org\/10.1007\/s11155-005-3615-2","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"value":"1385-3139","type":"print"},{"value":"1573-1340","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,6]]}}}