Verified computation of square roots of a matrix

DOI10.1137/090757058MaRDI QIDQ3584160zbMATH OpenOpenAlexFDO

Authors Andreas Frommer, Behnam Hashemi

Publication date 19 August 2010

Published in SIAM Journal on Matrix Analysis and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1137/090757058

zbMATH Keywords

Brouwer's fixed point theoremcircular arithmeticinterval analysisKrawczyk's methodKronecker structuresmatrix square root

Mathematics Subject Classification ID

Matrix equations and identities (15A24) Numerical computation of matrix exponential and similar matrix functions (65F60) Algorithms with automatic result verification (65G20) Interval and finite arithmetic (65G30)

Recommendations

• Computing enclosures for the inverse square root and the sign function of a matrix
• Verified computation of the matrix exponential
• Verified computation of real powers of matrices
• Fast verified computation for the matrix principal pth root
• Computing enclosures for the matrix exponential

Cited in

(17)

• Fast verified computation for the matrix principal pth root
• Efficient approaches for enclosing the united solution set of the interval generalized Sylvester matrix equations
• The interval Lyapunov matrix equation: analytical results and an efficient numerical technique for outer estimation of the united solution set
• Verified computation for the geometric mean of two matrices
• Computing enclosures for the inverse square root and the sign function of a matrix
• An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator
• The weighted Moore-Penrose generalized inverse and the force analysis of overconstrained parallel mechanisms
• Verified computation of real powers of matrices
• Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations
• The united stable solution set of interval continuous-time algebraic Riccati equation and veri ed numerical computation of its outer estimation
• Verified computation of matrix gamma function
• Fast enclosing the solution set of the parametric Sylvester matrix equations
• Certification of numerical computation of the sign of the determinant of a matrix
• Fast verified computation for real powers of large matrices with Kronecker structure
• Verified error bounds for solutions of Sylvester matrix equations
• An efficient approach for enclosing the solution set of the interval coupled Sylvester matrix equations
• Computing enclosures for the matrix Mittag-Leffler function

Describes a project that uses

Uses Software

• C-XSC 2.0
• INTLAB
• INTOPT_90
• mctoolbox

This page was built for publication: Verified computation of square roots of a matrix

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3584160)