Pages that link to "Item:Q3584160"

The following pages link to Verified Computation of Square Roots of a Matrix (Q3584160):

Displaying 17 items.

• Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations (Q344315) (← links)
• Verified error bounds for solutions of Sylvester matrix equations (Q651215) (← links)
• Computing enclosures for the matrix Mittag-Leffler function (Q831239) (← links)
• Fast verified computation for the matrix principal \(p\)th root (Q1675959) (← links)
• Efficient approaches for enclosing the united solution set of the interval generalized Sylvester matrix equations (Q1690908) (← links)
• The interval Lyapunov matrix equation: analytical results and an efficient numerical technique for outer estimation of the united solution set (Q1930971) (← links)
• Verified computation for the geometric mean of two matrices (Q2024609) (← links)
• Computing enclosures for the inverse square root and the sign function of a matrix (Q2249733) (← links)
• An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator (Q2312674) (← links)
• The weighted Moore-Penrose generalized inverse and the force analysis of overconstrained parallel mechanisms (Q2627908) (← links)
• Verified computation of real powers of matrices (Q2656092) (← links)
• The united stable solution set of interval continuous-time algebraic Riccati equation and veri ed numerical computation of its outer estimation (Q4634228) (← links)
• Verified computation of matrix gamma function (Q5073022) (← links)
• Fast enclosing the solution set of the parametric Sylvester matrix equations (Q5084715) (← links)
• Certification of numerical computation of the sign of the determinant of a matrix (Q5940606) (← links)
• Fast verified computation for real powers of large matrices with Kronecker structure (Q6106012) (← links)
• An efficient approach for enclosing the solution set of the interval coupled Sylvester matrix equations (Q6617891) (← links)