Fast verified computation for real powers of large matrices with Kronecker structure
From MaRDI portal
Publication:6106012
DOI10.1016/j.amc.2023.128055OpenAlexW4376106003MaRDI QIDQ6106012
Publication date: 27 June 2023
Published in: Applied Mathematics and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.amc.2023.128055
Algorithms with automatic result verification (65G20) Matrix exponential and similar functions of matrices (15A16) Numerical computation of matrix exponential and similar matrix functions (65F60)
Cites Work
- Unnamed Item
- Unnamed Item
- Fast enclosure for a matrix inverse square root
- Approximation of functions of large matrices with Kronecker structure
- Computing enclosures for the matrix Mittag-Leffler function
- On interval systems \([x = [A][x] + [b]\) and the powers of interval matrices in complex interval arithmetics]
- A self-validating numerical method for the matrix exponential
- Fast verified computation for the matrix principal \(p\)th root
- Verified computation for the geometric mean of two matrices
- 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\)
- Verified computation of real powers of matrices
- An Improved Schur--Padé Algorithm for Fractional Powers of a Matrix and Their Fréchet Derivatives
- Verification methods: Rigorous results using floating-point arithmetic
- 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
- Verified computation of matrix gamma function
- Computing Enclosures for the Matrix Exponential
- An Algorithm for the Matrix Lambert $W$ Function
- Functions of Matrices
This page was built for publication: Fast verified computation for real powers of large matrices with Kronecker structure
