摘要
Eberly，W.、Giesbrecht，M.和Villard，G.关于计算整数矩阵的行列式和Smith形式。 第41届年度交响乐团。 公司基础。 科学。 （加利福尼亚州洛斯·阿拉米托斯，2000年），IEEE计算机社会出版社，第675-685页。 谷歌学者 
数字图书馆 
Freivalds，R.快速概率算法。 《1979年计算机科学数学基础》，《第八届研讨会论文集》，捷克斯洛伐克奥洛穆克，1979年9月3日至7日（1979年），J.Becvár，Ed.，Springer，第57-69页。 计算机科学讲义，第74卷。 谷歌学者 Giesbrecht，M.、Lobo，A.和Saunders，B.D.证明稀疏线性系统的不一致性。 在ISSAC 98程序中。 1998年国际。 交响乐团。 符号代数计算。 （纽约，1998年），O.Gloor编辑，ACM出版社，第113-119页。 谷歌学者 数字图书馆 Giesbrecht，M.和Storjohann，A.计算整数矩阵的有理形式。 J.符号计算。 34、3（2002年9月）、157--172。 谷歌学者 数字图书馆 Goldstein，A.J.和Graham，R.L.约束在多项式行列式系数上的Hadamard型。 SIAM Rev.16（1974），394--395。 谷歌学者 数字图书馆 Kaltofen，E.、Krishnamoorthy，M.S.和Saunders，B.D.多项式矩阵的Hermite和Smith形式的快速并行计算。 SIAM J.阿尔及利亚。 离散数学。 8 (1987), 683--690. http://www.math.ncsu.edu/ ~kaltofen/参考书目/87/KKS87.pdf 谷歌学者 数字图书馆 Kaltoffen，E.，Li，B.，Yang，Z.，and Zhi，L.通过用浮点标量对平方和进行合理化来精确证明近似因式分解的全局最优性。 在ISSAC 2008（纽约，2008），D.Jeffrey，Ed.，ACM出版社，第155-163页。 http://www.math.ncsu.edu/ ~kaltofen/书目/08/KLYZ08.pdf EKbib/08/KLYZ 08.pdf 谷歌学者 数字图书馆 Kaltoffen，E.和Villard，G.关于计算行列式的复杂性。 计算复杂性13，3-4（2004），91-130。 http://www.math.ncsu.edu/ ~kaltofen/书目/04/KaVi04_2697263.pdf 谷歌学者 数字图书馆 Kaltoffen，E.L.，Li，B.，Yang，Z，and Zhi，L.，通过有理系数有理函数的平方和在全局多项式优化中的精确证明，2009年1月。 接受发表在《符号计算杂志》上。 http://www.math.ncsu.edu/ ~kaltofen/书目/09/KLYZ09.pdf 谷歌学者 数字图书馆 Kimbrel，T.和Sinha，R.K.使用验证矩阵乘积的概率算法 O（运行） ( n个 &它； 支持>； 2</ sup>；） 时间和log_2 n+O（1）随机位。 信息处理。 莱特。 45, 2 (1993), 107--110. 谷歌学者 数字图书馆 MacLane，S.和Birkhoff，G.代数，第二版。 麦克米伦，1979年。 谷歌学者 May，J.P.，编辑ISSAC 2009 Proc。 2009年国际。 交响乐团。 符号代数计算。 （纽约州纽约市，2009年），ACM。 谷歌学者 Rosser，J.B.和Schoenfeld，L.一些素数函数的近似公式。 伊利诺伊州J.数学。 6 (1962), 64--94. 谷歌学者 交叉引用 
桑德斯，B.D.和尤斯，B.S.大矩阵，小秩。 5月{12}，第317--324页。 谷歌学者 整数矩阵上快速线性代数的移位数系统。 《复杂性杂志》21，5（2005），609--650。 谷歌学者 数字图书馆 Storjohann，A.整数矩阵等级认证。 5月{12}，第333--340页。 谷歌学者
建议
线性代数中的本质最优交互式证书 ISSAC’14：第39届符号与代数计算国际研讨会论文集 线性代数计算的证书是每个输出的附加数据结构，可以由证明每个输出正确性的--可能是随机的--验证算法使用。 如果……，证书基本上是最佳的。。。 稀疏矩阵的最小多项式和行列式的线性时间交互证明 ISSAC’16：ACM符号和代数计算国际研讨会论文集 计算问题证书是每个输出的附加数据结构，可以由证明每个输出正确性的--可能是随机的--验证算法使用。 在本文中，我们给出了一个算法来计算。。。
