博尔贾·巴勒;帕南加登，普拉卡什;普雷库普，多伊纳 奇异值自动机和近似最小化。 （英语） 兹比尔1434.68227 数学。结构。计算。科学。 29，第9期，1444-1478（2019）.MSC公司：65年第68季度 15甲18 15A23型 47B35型 PDF格式BibTeX公司 XML格式引用 \textit{B.Balle}等人，数学。结构。计算。科学。29，第9号，1444--1478（2019；Zbl 1434.68227） 全文： DOI程序 arXiv公司
Laureano Lambán;Martín-Mateos，Francisco J。;朱利奥·鲁比奥;何塞·路易斯·鲁伊斯·雷纳 使用ACL2中的抽象stobjs计算矩阵范式。 （英语） Zbl 1484.68312号 Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10499, 354-370 (2017).MSC公司：68伏15 15B36型 68磅05分 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{L.Lambán}等人，Lect。注释计算。科学。10499，354--370（2017；Zbl 1484.68312） 全文： DOI程序
迪伦·基林贝克;米琳·桑托斯·泰西拉;温特，迈克尔 线性代数中的关系。 （英语） Zbl 1375.15045号 J.日志。阿尔盖布。方法计划。 91, 1-16 (2017).MSC公司：15B34型 2016年60月 18E05型 PDF格式BibTeX公司 XML格式引用 \textit{D.Killingbeck}等人，J.Log。阿尔盖布。方法计划。91、1-16（2017年；Zbl 1375.15045） 全文： DOI程序
马修·阿兰;朱尔斯·德沙奈斯 关系作为图像。 （英语） Zbl 1486.68199号 Höfner，Peter（编辑）等人，《计算机科学中的关系和代数方法》。2017年5月15日至18日在法国里昂举行的2017年RAMiCS第16届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10226, 43-59 (2017).MSC公司：68单位05 15B34型 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{M.Alain}和\textit{J.Desharnais}，莱克特。注释计算。科学。10226、43-59（2017；Zbl 1486.68199） 全文： DOI程序
杰苏斯·阿兰塞;Jose Divasón 线性代数的形式化和执行：从定理到算法。 （英语） Zbl 1453.68210号 Gupta，Gopal（编辑）等，基于逻辑的程序合成和转换。第23届国际研讨会，LOPSTR 2013，西班牙马德里，2013年9月18日至19日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。8901, 1-18 (2014).MSC公司：68V20型 15A04号 65平方英尺 92 C55 PDF格式BibTeX公司 XML格式引用 \textit{J.Aransay}和\textit{J.Divasón}，莱克特。注释计算。科学。8901，1-18（2014；Zbl 1453.68210） 全文： DOI程序
朱尔斯·德沙奈斯;阿纳斯塔西亚·格里南科;Möller，伯恩哈德 线性代数的关系式法则和结构。 （英语） Zbl 1434.15016号 J.日志。阿尔盖布。方法计划。 83，第2期，154-168（2014）.MSC公司：15A99号 15B99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人，J.Log。阿尔盖布。方法计划。83，第2号，154--168（2014；Zbl 1434.15016） 全文： DOI程序