@第{zbMATH07220004条，作者={Tsachouridis、Vassilios A.和Giantamidis、Georgios和Basaginnis、Stylianos和Kouramas、Kostas}，Title={Schulz}矩阵反演算法的形式化分析：通用矩阵流求解器的计算机辅助验证范式}，FJournal={数值代数、控制与优化}，Journal＝{Numer.代数控制优化}，ISSN={2155-3289}，体积={10}，数字={2}，页码={177--206}，年份={2020年}，语言={英语}，DOI={10.3934/naco.2019047}，关键词={65F10,15A09,68Q60}，zbMATH={7220004}，Zbl={1458.65035}}