Tsachouridis,Vassilios A。;乔治·詹塔米迪斯;Stylianos巴萨吉安尼斯;科斯塔斯库拉马斯 Schulz矩阵反演算法的形式化分析:通用矩阵流求解器的计算机辅助验证范例。 (英语) Zbl 1458.65035号 数字。代数控制优化。 177-206年第2期第10期(2020年).MSC公司:65层10 15A09号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Tsachouridis}等人,数字。代数控制优化。10,编号2,177--206(2020;Zbl 1458.65035) 全文: 内政部
拉希德·热比哈;阿纳尔多·莫拉。;纳迪尔·马特林格 非线性混合系统的生成不变量。 (英语) Zbl 1328.68130号 西奥。计算。科学。 594, 180-200 (2015).MSC公司:60年第68季度 15A06号 PDF格式BibTeX公司 XML格式引用 \textit{R.Rebiha}等人,Theor。计算。科学。594180-200(2015年;Zbl 1328.68130) 全文: 内政部