Pages that link to "Item:Q2656092"
From MaRDI portal
The following pages link to Verified computation of real powers of matrices (Q2656092):
Displaying 7 items.
- Computing enclosures for the matrix Mittag-Leffler function (Q831239) (← links)
- Computing the spectral decomposition of interval matrices and a study on interval matrix powers (Q2242816) (← links)
- Verified computation for the matrix principal logarithm (Q2418976) (← links)
- Verified computation of the matrix exponential (Q2631982) (← links)
- Matrix Powers in Finite Precision Arithmetic (Q4835398) (← links)
- Computer algebra procedures for verifying the definiteness of a matrix on a subspace (Q5932896) (← links)
- Fast verified computation for real powers of large matrices with Kronecker structure (Q6106012) (← links)