Verified Computation of Square Roots of a Matrix

• 期刊名称SIAM Journal on Matrix Analysis and Applications
• 作者Frommer, Andreas; Hashemi, Behnam
• 卷第31卷
• 期第3期
• 印刷ISSN0895-4798
• 电子ISSN1095-7162
• 文件大小325.69KB
• 发表时间2010-01
• DOI10.1137/090757058
• 页码1279-1302