{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T15:29:43Z","timestamp":1726414183768},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,5,8]],"date-time":"2010-05-08T00:00:00Z","timestamp":1273276800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Numer Algor"],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1007\/s11075-010-9389-6","type":"journal-article","created":{"date-parts":[[2010,5,7]],"date-time":"2010-05-07T02:41:06Z","timestamp":1273200066000},"page":"363-382","source":"Crossref","is-referenced-by-count":1,"title":["An algorithm for automatically selecting a suitable verification method for linear systems"],"prefix":"10.1007","volume":"56","author":[{"given":"Katsuhisa","family":"Ozaki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takeshi","family":"Ogita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin\u2019ichi","family":"Oishi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,5,8]]},"reference":[{"key":"9389_CR1","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898718027","volume-title":"Accuracy and Stability of Numerical Algorithms","author":"NJ Higham","year":"2002","unstructured":"Higham, N.J.: Accuracy and Stability of Numerical Algorithms, 2nd edn. SIAM Publications, Philadelphia (2002)","edition":"2"},{"key":"9389_CR2","unstructured":"Ogita, T., Oishi, S.: Fast verification for large-scale systems of linear equations. IPSJ Trans. 46(SIG10 TOM12), 10\u201318 (2005) (in Japanese)"},{"issue":"2","key":"9389_CR3","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/BF03186530","volume":"26","author":"T Ogita","year":"2009","unstructured":"Ogita, T., Oishi, S.: Fast verified solutions of linear systems. Jpn. J. Ind. Appl. Math. 26(2), 169\u2013190 (2009)","journal-title":"Jpn. J. Ind. Appl. Math."},{"issue":"3","key":"9389_CR4","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1023\/A:1024655416554","volume":"9","author":"T Ogita","year":"2003","unstructured":"Ogita, T., Oishi, S., Ushiro, Y.: Computation of sharp rigorous componentwise error bounds for the approximate solutions of systems of linear equations. Reliab. Comput. 9(3), 229\u2013239 (2003)","journal-title":"Reliab. Comput."},{"issue":"6","key":"9389_CR5","doi-asserted-by":"crossref","first-page":"1955","DOI":"10.1137\/030601818","volume":"26","author":"T Ogita","year":"2005","unstructured":"Ogita, T., Rump, S.M., Oishi, S.: Accurate sum and dot product. SIAM J. Sci. Comput. 26(6), 1955\u20131988 (2005)","journal-title":"SIAM J. Sci. Comput."},{"key":"9389_CR6","unstructured":"Ogita, T., Rump, S.M., Oishi, S.: Verified Solution of Linear Systems Without Directed Rounding. Technical Report No. 2005-04, Advanced Research Institute for Science and Engineering, Waseda University (2005)"},{"issue":"4","key":"9389_CR7","doi-asserted-by":"crossref","first-page":"755","DOI":"10.1007\/s002110100310","volume":"90","author":"S Oishi","year":"2002","unstructured":"Oishi, S., Rump, S.M.: Fast verification of solutions of matrix equations. Numer. Math. 90(4), 755\u2013773 (2002)","journal-title":"Numer. Math."},{"issue":"1","key":"9389_CR8","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1016\/j.cam.2006.05.022","volume":"205","author":"S Oishi","year":"2007","unstructured":"Oishi, S., Tanabe, K., Ogita, T., Rump, S.M.: Convergence of Rump\u2019s method for inverting arbitrarily ill-conditioned matrices. J. Comput. Appl. Math. 205(1), 533\u2013544 (2007)","journal-title":"J. Comput. Appl. Math."},{"key":"9389_CR9","unstructured":"Ozaki, K., Ogita, T., Oishi, S.: Adaptive verification method for dense linear systems. In: Proceedings of 2006 international symposium on nonlinear theory and its applications, pp. 323\u2013326, Bologna, Italy (2006)"},{"issue":"3","key":"9389_CR10","doi-asserted-by":"crossref","first-page":"534","DOI":"10.1023\/A:1022374804152","volume":"39","author":"SM Rump","year":"1999","unstructured":"Rump, S.M.: Fast and parallel interval arithmetic. BIT 39(3), 534\u2013554 (1999)","journal-title":"BIT"},{"key":"9389_CR11","first-page":"63","volume-title":"Topics in Validated Computations\u2014Studies in Computational Mathematics","author":"SM Rump","year":"1994","unstructured":"Rump, S.M.: Verification methods for dense and sparse systems of equations. In: Herzberger, J. (ed.) Topics in Validated Computations\u2014Studies in Computational Mathematics, pp. 63\u2013136. Elsevier, Amsterdam (1994)"},{"issue":"2","key":"9389_CR12","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/j.cam.2005.08.034","volume":"199","author":"K Ozaki","year":"2007","unstructured":"Ozaki, K., Ogita, T., Miyajima, S., Oishi, S., Rump, S.M.: A method of obtaining verified solutions for linear systems suited for Java. J. Comput. Appl. Math. 199(2), 337\u2013344 (2007)","journal-title":"J. Comput. Appl. Math."},{"key":"9389_CR13","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/BF03186534","volume":"26","author":"SM Rump","year":"2009","unstructured":"Rump, S.M.: Inversion of extremely ill-conditioned matrices in floating-point. Jpn. J. Ind. Appl. Math. 26, 249\u2013277 (2009)","journal-title":"Jpn. J. Ind. Appl. Math."},{"key":"9389_CR14","unstructured":"LAPACK\u2014Linear Algebra PACKage. http:\/\/www.netlib.org\/lapack\/"},{"key":"9389_CR15","volume-title":"Introduction to Interval Computations","author":"G Alefeld","year":"1983","unstructured":"Alefeld, G., Herzberger, J.: Introduction to Interval Computations. Academic Press, New York (1983)"},{"key":"9389_CR16","doi-asserted-by":"crossref","unstructured":"Rump, S.M.: Computer-assisted proofs and self-validating methods. In: Einarsson, B. (ed.) Handbook on Accuracy and Reliability in Scientific Computation, pp. 195\u2013240. SIAM (2005)","DOI":"10.1137\/1.9780898718157.ch10"},{"key":"9389_CR17","unstructured":"MATLAB Programming version 7, the Mathworks"},{"key":"9389_CR18","unstructured":"Golub, G.H., Van Loan, C.F.: Matrix Computations, 3rd edn. Johns Hopkins University Press, Baltimore and London (1996)"}],"container-title":["Numerical Algorithms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11075-010-9389-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11075-010-9389-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11075-010-9389-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T05:08:15Z","timestamp":1559365695000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11075-010-9389-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5,8]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["9389"],"URL":"https:\/\/doi.org\/10.1007\/s11075-010-9389-6","relation":{},"ISSN":["1017-1398","1572-9265"],"issn-type":[{"type":"print","value":"1017-1398"},{"type":"electronic","value":"1572-9265"}],"subject":[],"published":{"date-parts":[[2010,5,8]]}}}