{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,27]],"date-time":"2025-12-27T07:30:35Z","timestamp":1766820635824,"version":"3.37.3"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,4,13]],"date-time":"2021-04-13T00:00:00Z","timestamp":1618272000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,4,13]],"date-time":"2021-04-13T00:00:00Z","timestamp":1618272000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"crossref","award":["JP16K05270"],"award-info":[{"award-number":["JP16K05270"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Sci Comput"],"published-print":{"date-parts":[[2021,5]]},"DOI":"10.1007\/s10915-021-01447-6","type":"journal-article","created":{"date-parts":[[2021,4,13]],"date-time":"2021-04-13T12:35:09Z","timestamp":1618317309000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Computing Enclosures for the Matrix Mittag\u2013Leffler Function"],"prefix":"10.1007","volume":"87","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":[[2021,4,13]]},"reference":[{"key":"1447_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43930-2","volume-title":"Mittag\u2013Leffler Functions. Related Topics and Applications","author":"R Gorenflo","year":"2014","unstructured":"Gorenflo, R., Kilbas, A.A., Mainardi, F., Rogosin, S.: Mittag\u2013Leffler Functions. Related Topics and Applications. Springer, Berlin (2014)"},{"key":"1447_CR2","doi-asserted-by":"publisher","first-page":"298628","DOI":"10.1155\/2011\/298628","volume":"2011","author":"HJ Haubold","year":"2011","unstructured":"Haubold, H.J., Mathai, A.M., Saxena, R.K.: Mittag\u2013Leffler functions and their applications. J. Appl. Math. 2011, 298628 (2011)","journal-title":"J. Appl. Math."},{"key":"1447_CR3","first-page":"491","volume":"5","author":"R Gorenflo","year":"2002","unstructured":"Gorenflo, R., Loutchko, J., Luchko, Y.: Computation of the Mittag\u2013Leffler function $$E_{\\alpha ,\\beta }(z)$$ and its derivative. Fract. Calc. Appl. Anal. 5, 491\u2013518 (2002)","journal-title":"Fract. Calc. Appl. Anal."},{"issue":"1","key":"1447_CR4","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1137\/070700280","volume":"47","author":"H Seybold","year":"2008","unstructured":"Seybold, H., Hilfer, R.: Numerical algorithm for calculating the generalized Mittag\u2013Leffler function. SIAM J. Numer. Anal. 47(1), 69\u201388 (2008)","journal-title":"SIAM J. Numer. Anal."},{"issue":"3","key":"1447_CR5","doi-asserted-by":"publisher","first-page":"1350","DOI":"10.1137\/140971191","volume":"53","author":"R Garrappa","year":"2015","unstructured":"Garrappa, R.: Numerical evaluation of two and three parameter Mittag\u2013Leffler functions. SIAM J. Numer. Anal. 53(3), 1350\u20131369 (2015)","journal-title":"SIAM J. Numer. Anal."},{"key":"1447_CR6","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":"1447_CR7","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s10915-018-0699-5","volume":"77","author":"R Garrappa","year":"2018","unstructured":"Garrappa, R., Popolizio, M.: Computing the matrix Mittag\u2013Leffler function with applications to fractional calculus. J. Sci. Comput. 77, 129\u2013153 (2018)","journal-title":"J. Sci. Comput."},{"issue":"10","key":"1447_CR8","doi-asserted-by":"publisher","first-page":"503","DOI":"10.3390\/sym10100503","volume":"10","author":"J Duan","year":"2018","unstructured":"Duan, J., Chen, L.: Solution of fractional differential equation systems and computation of matrix Mittag\u2013Leffler functions. Symmetry 10(10), 503 (2018)","journal-title":"Symmetry"},{"issue":"12","key":"1447_CR9","doi-asserted-by":"publisher","first-page":"1140","DOI":"10.3390\/math7121140","volume":"7","author":"M Popolizio","year":"2019","unstructured":"Popolizio, M.: On the matrix Mittag\u2013Leffler function: theoretical properties and numerical computation. Mathematics 7(12), 1140 (2019)","journal-title":"Mathematics"},{"key":"1447_CR10","unstructured":"Higham, N.J., Liu, X.: A multiprecision derivative-free Schur\u2013Parlett algorithm for computing matrix functions. MIMS EPrint 2020.19, (2020) http:\/\/eprints.maths.manchester.ac.uk\/2781\/"},{"key":"1447_CR11","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":"1447_CR12","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/BF02247884","volume":"45","author":"P Bochev","year":"1990","unstructured":"Bochev, P.: Simultaneous self-verified computation of $$\\exp (A)$$ and $$\\int _0^1\\exp (As)ds$$. Computing 45, 183\u2013191 (1990)","journal-title":"Computing"},{"key":"1447_CR13","doi-asserted-by":"publisher","first-page":"1279","DOI":"10.1137\/090757058","volume":"31","author":"A Frommer","year":"2009","unstructured":"Frommer, A., Hashemi, B.: Verified computation of square roots of a matrix. SIAM J. Matrix Anal. Appl. 31, 1279\u20131302 (2009)","journal-title":"SIAM J. Matrix Anal. Appl."},{"key":"1447_CR14","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/j.laa.2013.11.047","volume":"456","author":"A Frommer","year":"2014","unstructured":"Frommer, A., Hashemi, B., Sablik, T.: Computing enclosures for the inverse square root and the sign function of a matrix. Linear Algebra Appl. 456, 199\u2013213 (2014)","journal-title":"Linear Algebra Appl."},{"key":"1447_CR15","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1016\/j.laa.2014.11.007","volume":"467","author":"S Miyajima","year":"2015","unstructured":"Miyajima, S.: Fast enclosure for a matrix inverse square root. Linear Algebra Appl. 467, 116\u2013135 (2015)","journal-title":"Linear Algebra Appl."},{"key":"1447_CR16","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1016\/j.cam.2017.08.018","volume":"330","author":"S Miyajima","year":"2018","unstructured":"Miyajima, S.: Fast verified computation for the matrix principal $$p$$th root. J. Comput. Appl. Math. 330, 276\u2013288 (2018)","journal-title":"J. Comput. Appl. Math."},{"key":"1447_CR17","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/s10444-018-9609-5","volume":"45","author":"S Miyajima","year":"2019","unstructured":"Miyajima, S.: Verified computation of the matrix exponential. Adv. Comput. Math. 45, 137\u2013152 (2019)","journal-title":"Adv. Comput. Math."},{"key":"1447_CR18","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.laa.2019.01.008","volume":"569","author":"S Miyajima","year":"2019","unstructured":"Miyajima, S.: Verified computation for the matrix principal logarithm. Linear Algebra Appl. 569, 38\u201361 (2019)","journal-title":"Linear Algebra Appl."},{"key":"1447_CR19","doi-asserted-by":"crossref","first-page":"124555","DOI":"10.1016\/j.amc.2019.06.069","volume":"362","author":"S Miyajima","year":"2019","unstructured":"Miyajima, S.: Verified computation for the matrix Lambert $$W$$ function. Appl. Math. Comput. 362, 124555 (2019)","journal-title":"Appl. Math. Comput."},{"issue":"4","key":"1447_CR20","doi-asserted-by":"publisher","first-page":"1674","DOI":"10.1137\/19M1263431","volume":"41","author":"A Frommer","year":"2020","unstructured":"Frommer, A., Hashemi, B.: Computing enclosures for the matrix exponential. SIAM J. Matrix Anal. Appl. 41(4), 1674\u20131703 (2020)","journal-title":"SIAM J. Matrix Anal. Appl."},{"key":"1447_CR21","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/s13160-020-00448-6","volume":"38","author":"S Miyajima","year":"2021","unstructured":"Miyajima, S.: Verified computation for the geometric mean of two matrices. Jpn. J. Ind. Appl. Math. 38, 211\u2013232 (2021)","journal-title":"Jpn. J. Ind. Appl. Math."},{"key":"1447_CR22","doi-asserted-by":"publisher","first-page":"113431","DOI":"10.1016\/j.cam.2021.113431","volume":"391","author":"S Miyajima","year":"2021","unstructured":"Miyajima, S.: Verified computation of real powers of matrices. J. Comput. Appl. Math. 391, 113431 (2021)","journal-title":"J. Comput. Appl. Math."},{"key":"1447_CR23","doi-asserted-by":"crossref","unstructured":"Miyajima, S.: Verified computation of matrix gamma function. Linear Multilinear Algebra https:\/\/doi.org\/10.1080\/03081087.2020.1757602","DOI":"10.1080\/03081087.2020.1757602"},{"key":"1447_CR24","unstructured":"Rohn, J.: VERSOFT: Verification Software in MATLAB\/INTLAB. http:\/\/uivtx.cs.cas.cz\/~rohn\/matlab"},{"key":"1447_CR25","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-94-017-1247-7_7","volume-title":"Developments in Reliable Computing","author":"SM Rump","year":"1999","unstructured":"Rump, S.M.: INTLAB-INTerval LABoratory. In: Csendes, T. (ed.) Developments in Reliable Computing, pp. 77\u2013107. Kluwer, Dordrecht (1999)"},{"key":"1447_CR26","doi-asserted-by":"publisher","first-page":"1205","DOI":"10.1137\/140953150","volume":"35","author":"S Miyajima","year":"2014","unstructured":"Miyajima, S.: Fast enclosure for all eigenvalues and invariant subspaces in generalized eigenvalue problems. SIAM J. Matrix Anal. Appl. 35, 1205\u20131225 (2014)","journal-title":"SIAM J. Matrix Anal. Appl."},{"key":"1447_CR27","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526473","volume-title":"Interval Methods for Systems of Equations","author":"A Neumaier","year":"1991","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge (1991)"},{"key":"1447_CR28","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/B:NUMA.0000049462.70970.b6","volume":"37","author":"LH de Figueiredo","year":"2004","unstructured":"de Figueiredo, L.H., Stolfi, J.: Affine arithmetic: concepts and applications. Numer. Algorithms 37, 147\u2013158 (2004)","journal-title":"Numer. Algorithms"},{"key":"1447_CR29","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1017\/S096249291000005X","volume":"19","author":"SM Rump","year":"2010","unstructured":"Rump, S.M.: Verification methods: Rigorous results using floating-point arithmetic. Acta Numer. 19, 287\u2013449 (2010)","journal-title":"Acta Numer."},{"key":"1447_CR30","doi-asserted-by":"publisher","first-page":"823","DOI":"10.1023\/B:BITN.0000009941.51707.26","volume":"43","author":"SM Rump","year":"2003","unstructured":"Rump, S.M., Zemke, J.-P.M.: On eigenvector bounds. BIT Numer. Math. 43, 823\u2013837 (2003)","journal-title":"BIT Numer. Math."},{"issue":"6","key":"1447_CR31","doi-asserted-by":"publisher","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":"1447_CR32","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1145\/2576802.2576829","volume":"47","author":"Z Zeng","year":"2013","unstructured":"Zeng, Z., Li, T.-Y.: NAClab: A Matlab toolbox for numerical algebraic computation. ACM Commun. Comput. Algebra 47, 170\u2013173 (2013)","journal-title":"ACM Commun. Comput. Algebra"},{"key":"1447_CR33","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1137\/140997610","volume":"36","author":"M Fasi","year":"2015","unstructured":"Fasi, M., Higham, N.J., Iannazzo, B.: An algorithm for the matrix Lambert $$W$$ function. SIAM J. Matrix Anal. Appl. 36, 669\u2013685 (2015)","journal-title":"SIAM J. Matrix Anal. Appl."}],"container-title":["Journal of Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10915-021-01447-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10915-021-01447-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10915-021-01447-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,2]],"date-time":"2023-11-02T01:14:30Z","timestamp":1698887670000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10915-021-01447-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,13]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,5]]}},"alternative-id":["1447"],"URL":"https:\/\/doi.org\/10.1007\/s10915-021-01447-6","relation":{},"ISSN":["0885-7474","1573-7691"],"issn-type":[{"type":"print","value":"0885-7474"},{"type":"electronic","value":"1573-7691"}],"subject":[],"published":{"date-parts":[[2021,4,13]]},"assertion":[{"value":"24 May 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 February 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 February 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 April 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"62"}}