{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T12:08:31Z","timestamp":1759838911872,"version":"3.37.3"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,4,26]],"date-time":"2018-04-26T00:00:00Z","timestamp":1524700800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"JSPS KAKENHI","award":["JP16K05270"],"award-info":[{"award-number":["JP16K05270"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Adv Comput Math"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s10444-018-9609-5","type":"journal-article","created":{"date-parts":[[2018,4,26]],"date-time":"2018-04-26T22:57:21Z","timestamp":1524783441000},"page":"137-152","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Verified computation of the matrix exponential"],"prefix":"10.1007","volume":"45","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1642-0961","authenticated-orcid":false,"given":"Shinya","family":"Miyajima","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,4,26]]},"reference":[{"key":"9609_CR1","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/BF02243806","volume":"43","author":"P Bochev","year":"1989","unstructured":"Bochev, P., Markov, S.: A self-validating numerical method for the matrix exponential. Computing 43, 59\u201372 (1989)","journal-title":"Computing"},{"key":"9609_CR2","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717778","volume-title":"Functions of Matrices: Theory and Computation","author":"NJ Higham","year":"2008","unstructured":"Higham, N.J.: Functions of Matrices: Theory and Computation. SIAM Publications, Philadelphia (2008)"},{"key":"9609_CR3","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1137\/090768539","volume":"51","author":"NJ Higham","year":"2009","unstructured":"Higham, N.J.: The scaling and squaring method for the matrix exponential revisited. SIAM Rev. 51, 747\u2013764 (2009)","journal-title":"SIAM Rev."},{"key":"9609_CR4","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1145\/355900.355912","volume":"6","author":"B K\u00e5gstr\u00f6m","year":"1980","unstructured":"K\u00e5gstr\u00f6m, B., Ruhe, A.: An algorithm for numerical computation of the Jordan normal form of a complex matrix. ACM Trans. Math. Softw. 6, 398\u2013419 (1980)","journal-title":"Math. Softw."},{"key":"9609_CR5","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/j.amc.2017.01.033","volume":"303","author":"S Miyajima","year":"2017","unstructured":"Miyajima, S.: Verified solutions of delay eigenvalue problems. Appl. Math. Comput. 303, 211\u2013225 (2017)","journal-title":"Appl. Math. Comput."},{"key":"9609_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1137\/S00361445024180","volume":"45","author":"C Moler","year":"2003","unstructured":"Moler, C., Van Loan, C.: Nineteen dubious ways to compute the exponential of a matrix, twenty-five years later. SIAM Rev. 45, 3\u201349 (2003)","journal-title":"SIAM Rev."},{"key":"9609_CR7","doi-asserted-by":"publisher","first-page":"65","DOI":"10.14495\/jsiaml.8.65","volume":"8","author":"S Nakamura","year":"2016","unstructured":"Nakamura, S., Ozawa, K., Hirota, C.: Scaling and modified squaring method for the matrix exponential. JSIAM Lett. 8, 65\u201368 (2016)","journal-title":"JSIAM Lett."},{"key":"9609_CR8","unstructured":"Rohn, J.: VERSOFT: Verification Software in MATLAB\/INTLAB. http:\/\/uivtx.cs.cas.cz\/~rohn\/matlab"},{"key":"9609_CR9","doi-asserted-by":"crossref","unstructured":"Rump, S.M.: INTLAB - INTerval LABoratory. In: Csendes, T (ed.) Developments in Reliable Computing, pp 77\u2013107. Kluwer Academic Publishers, Dordrecht (1999)","DOI":"10.1007\/978-94-017-1247-7_7"},{"key":"9609_CR10","unstructured":"Zeng, Z.: NAClab - Numerical Algebraic Computing Toolbox for Matlab. http:\/\/homepages.neiu.edu\/~zzeng\/naclab.html"}],"container-title":["Advances in Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10444-018-9609-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10444-018-9609-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10444-018-9609-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T09:26:32Z","timestamp":1604222792000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10444-018-9609-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,26]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["9609"],"URL":"https:\/\/doi.org\/10.1007\/s10444-018-9609-5","relation":{},"ISSN":["1019-7168","1572-9044"],"issn-type":[{"type":"print","value":"1019-7168"},{"type":"electronic","value":"1572-9044"}],"subject":[],"published":{"date-parts":[[2018,4,26]]},"assertion":[{"value":"20 July 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 April 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 April 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}