{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T12:00:27Z","timestamp":1759838427716},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1990,6,1]],"date-time":"1990-06-01T00:00:00Z","timestamp":644198400000},"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":[[1990,6]]},"DOI":"10.1007\/bf02247884","type":"journal-article","created":{"date-parts":[[2005,11,15]],"date-time":"2005-11-15T04:16:20Z","timestamp":1132028180000},"page":"183-191","source":"Crossref","is-referenced-by-count":6,"title":["Simultaneous self-verified computation of exp (A) and \u222b 0 1 exp (As) dsexp (As) ds"],"prefix":"10.1007","volume":"45","author":[{"given":"P.","family":"Bochev","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02247884_CR1","unstructured":"Baker, G. A. Jr. Graves-Morris, P.: Pade Approximations. Addison-Wesley Publishing Co., 1981"},{"key":"BF02247884_CR2","first-page":"1","volume":"Suppl. 5","author":"K. B\u00f6hmer","year":"1984","unstructured":"B\u00f6hmer, K., Hemker, P., Stetter, H.: The defect correction approach. Computing Suppl.5, 1984 p. 1\u201332.","journal-title":"Computing"},{"key":"BF02247884_CR3","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF02243806","volume":"43","author":"P. Bochev","year":"1989","unstructured":"Bochev, P., Markov, S.: Self-verified computation of the matrix exponential. Computing43, 1989, p. 59\u201372.","journal-title":"Computing"},{"key":"BF02247884_CR4","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1109\/TAC.1971.1099689","volume":"16","author":"J. C. Johnson","year":"1971","unstructured":"Johnson, J. C., Phillips, C. L.: An Algorithm for Computation of the integral of the State Transition Matrix. IEEE Transactions on Automatic Control AC-16, 1971, p. 204\u2013205.","journal-title":"IEEE Transactions on Automatic Control AC"},{"key":"BF02247884_CR5","doi-asserted-by":"crossref","unstructured":"Kulisch, U., Miranker, W.: Computer arithmetic in theory and practice. Academic Press, 1981.","DOI":"10.1016\/B978-0-12-428650-4.50009-9"},{"issue":"4","key":"BF02247884_CR6","doi-asserted-by":"crossref","first-page":"801","DOI":"10.1137\/1020098","volume":"20","author":"C. Moler","year":"1978","unstructured":"Moler, C., Van Loan, C.: 19 dubious ways to compute the exponential of a matrix. SIAM Review,20, 4, 1978, p. 801\u2013836.","journal-title":"SIAM Review"},{"key":"BF02247884_CR7","unstructured":"PASCAL-SC, Information manual and floppy disks (Kulisch, U., ed.). John Willey & Sons Ltd. 1987."},{"key":"BF02247884_CR8","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/BFb0099525","volume":"1006","author":"H. Stetter","year":"1984","unstructured":"Stetter, H.: Sequential defect correction for high accuracy floating-point algorithms. Lecture notes in mathematics1006, 1984, p. 186\u2013202.","journal-title":"Lecture notes in mathematics"},{"key":"BF02247884_CR9","unstructured":"Stetter, H.: Staggered Correction Representation, a Feasible Approach to Dynamic Precision. Proc. of the Symp. on Sci. Software. China Univ. of Sci. and Techn. Press, 1989, p. 215\u2013231."},{"key":"BF02247884_CR10","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1002\/sapm1961401220","volume":"40","author":"R. Varga","year":"1961","unstructured":"Varga, R.: On higher order stable explicit methods for solving parabolic partial differential equations. J. Math. Phys.40, 1961, p. 220\u2013231.","journal-title":"J. Math. Phys."}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02247884.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02247884\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02247884","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T22:21:37Z","timestamp":1586557297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02247884"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,6]]},"references-count":10,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1990,6]]}},"alternative-id":["BF02247884"],"URL":"https:\/\/doi.org\/10.1007\/bf02247884","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,6]]}}}