Verified computation of real powers of matrices
From MaRDI portal
Publication:2656092
Recommendations
- Fast verified computation for real powers of large matrices with Kronecker structure
- Verified computation of the matrix exponential
- Verified computation of square roots of a matrix
- An efficient algorithm for computing real powers of a matrix and a related matrix function
- Matrix Powers in Finite Precision Arithmetic
- Verified computation for the matrix principal logarithm
- Real powers and logarithms of matrices
- Accurate Computations for Some Classes of Matrices
- Computation of roots of real and complex matrices
- Computational Techniques for Real Logarithms of Matrices
Cites work
- A Schur-Padé algorithm for fractional powers of a matrix
- A self-validating numerical method for the matrix exponential
- Accurate Sum and Dot Product
- An Algorithm for the Matrix Lambert W Function
- An efficient implicit FEM scheme for fractional-in-space reaction-diffusion equations
- An improved Schur-Padé algorithm for fractional powers of a matrix and their Fréchet derivatives
- Computing enclosures for the inverse square root and the sign function of a matrix
- Discrete interpolation norms with applications
- Fast enclosure for a matrix inverse square root
- Fast enclosure for all eigenvalues and invariant subspaces in generalized eigenvalue problems
- Fast verified computation for the matrix principal pth root
- Finding generators for Markov chains via empirical transition matrices, with applications to credit ratings
- Functions of Matrices
- scientific article; zbMATH DE number 3880009 (Why is no real title available?)
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- Simultaneous self-verified computation of exp(A) and \(\int_{0}^{1}\exp (As)ds\)
- Verified computation for the matrix Lambert \(W\) function
- Verified computation for the matrix principal logarithm
- Verified computation of square roots of a matrix
- Verified computation of the matrix exponential
Cited in
(9)- Computing the spectral decomposition of interval matrices and a study on interval matrix powers
- Verified computation for the matrix principal logarithm
- Verified computation of the matrix exponential
- Verified computation of square roots of a matrix
- Matrix Powers in Finite Precision Arithmetic
- Verified computation of matrix gamma function
- Computer algebra procedures for verifying the definiteness of a matrix on a subspace
- Fast verified computation for real powers of large matrices with Kronecker structure
- Computing enclosures for the matrix Mittag-Leffler function
This page was built for publication: Verified computation of real powers of matrices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2656092)