Verified computation of real powers of matrices
From MaRDI portal
Publication:2656092
DOI10.1016/j.cam.2021.113431zbMath1461.65065OpenAlexW3122779435MaRDI QIDQ2656092
Publication date: 10 March 2021
Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.cam.2021.113431
Matrix exponential and similar functions of matrices (15A16) Numerical computation of matrix exponential and similar matrix functions (65F60)
Related Items (2)
Computing enclosures for the matrix Mittag-Leffler function ⋮ Fast verified computation for real powers of large matrices with Kronecker structure
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Finding Generators for Markov Chains via Empirical Transition Matrices, with Applications to Credit Ratings
- Fast enclosure for a matrix inverse square root
- A self-validating numerical method for the matrix exponential
- Fast verified computation for the matrix principal \(p\)th root
- Computing enclosures for the inverse square root and the sign function of a matrix
- Verified computation for the matrix Lambert \(W\) function
- Verified computation for the matrix principal logarithm
- Verified computation of the matrix exponential
- Simultaneous self-verified computation of exp(A) and \(\int_{0}^{1}\exp (As)ds\)
- An Improved Schur--Padé Algorithm for Fractional Powers of a Matrix and Their Fréchet Derivatives
- Fast Enclosure for All Eigenvalues and Invariant Subspaces in Generalized Eigenvalue Problems
- A Schur–Padé Algorithm for Fractional Powers of a Matrix
- An Efficient Implicit FEM Scheme for Fractional-in-Space Reaction-Diffusion Equations
- Verified Computation of Square Roots of a Matrix
- Discrete Interpolation Norms with Applications
- An Algorithm for the Matrix Lambert $W$ Function
- Functions of Matrices
- Accurate Sum and Dot Product
This page was built for publication: Verified computation of real powers of matrices
