Verified Computation of Square Roots of a Matrix.

Andreas Frommer Behnam Hashemi

Published in: SIAM J. Matrix Anal. Appl. (2009)

Keyphrases

linear algebra
square root
multiresolution
singular value decomposition
matrix inversion
decision making
case study
efficient computation
rows and columns