Pages that link to "Item:Q2656092"
From MaRDI portal
The following pages link to Verified computation of real powers of matrices (Q2656092):
Displaying 4 items.
- Computing enclosures for the matrix Mittag-Leffler function (Q831239) (← 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)
