Simultaneous self-verified computation of exp(A) and \(\int_{0}^{1}\exp (As)ds\)

DOI10.1007/BF02247884zbMath0721.65020OpenAlexW2337416522MaRDI QIDQ2641075

Pavel B. Bochev

Publication date: 1990

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02247884

zbMATH Keywords

Padé approximationsmatrix exponentialverified bounds

Mathematics Subject Classification ID

Related Items (5)

Computing enclosures for the matrix Mittag-Leffler function ⋮ Verified computation of matrix gamma function ⋮ Verified computation of real powers of matrices ⋮ Fast verified computation for real powers of large matrices with Kronecker structure ⋮ Computing Enclosures for the Matrix Exponential

Cites Work

• A self-validating numerical method for the matrix exponential
• On Higher Order Stable Implicit Methods for Solving Parabolic Partial Differential Equations
• Nineteen Dubious Ways to Compute the Exponential of a Matrix
• Unnamed Item
• Unnamed Item

This page was built for publication: Simultaneous self-verified computation of exp(A) and \(\int_{0}^{1}\exp (As)ds\)