纪尧姆·卡诺；西里尔·科恩；Dénès，马克西姆；安德斯·莫特伯格；文森特·塞尔斯 中初等除数环上的形式化线性代数Coq公司. （英语） Zbl 1448.68461号 日志。方法计算。科学。 12，第2号，第7号论文，23页（2016年）.MSC公司：68V20型 15B33型 PDF格式BibTeX公司 XML格式引用 \textit{G.Cano}等人，《日志》。方法计算。科学。12，第2号，第7号论文，23页（2016年；Zbl 1448.68461） 全文： 内政部 arXiv公司
乔纳森·赫拉斯；可口、蒂埃里；安德斯·莫特伯格；文森特·塞尔斯 计算Coq/SSReflect中的持久同源性。 （英语） Zbl 1353.68251号 ACM事务处理。计算。日志。 第14号第4条第26条第16页（2013年）.MSC公司：68吨15 03B35型 55号35 PDF格式BibTeX公司 XML格式引用 \textit{J.Heras}等人，ACM Trans。计算。日志。14，第4号，第26条，第16页（2013年；兹bl 1353.68251） 全文： 内政部 arXiv公司
可口、蒂埃里；安德斯·莫特伯格；文森特·塞尔斯 Sasaki-Murao算法的形式化证明。 （英语） Zbl 1451.68321号 J.福尔马利兹。原因。 第5期，第1期，第27-36页（2012年）.MSC公司：68伏15 15甲15 68V20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}等人，J.Formaliz。原因。5、1号、27-36（2012；Zbl 1451.68321） 全文： 内政部
可口、蒂埃里；安德斯·莫特伯格；文森特·塞尔斯 类型理论中的相干环和强离散环。 （英语） Zbl 1383.03016号 Chris Hawblitzel（编辑）等人，《认证程序和证明》。2012年12月13日至15日在日本京都举行的第二届国际会议，CPP 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-35307-9/pbk）。计算机科学课堂讲稿7679，273-288（2012）。MSC公司：03B35型 13层05 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}等人，Lect。票据计算。科学。7679，273--288（2012；Zbl 1383.03016） 全文： 内政部
Dénès，马克西姆；安德斯·莫特伯格；文森特·塞尔斯 Coq中基于细化的计算代数方法。 （英语） Zbl 1360.68745号 Beringer、Lennart（编辑）等，《交互式定理证明》。第三届国际会议，2012年ITP，美国新泽西州普林斯顿，2012年8月13-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32346-1/pbk）。计算机科学课堂讲稿740683-98（2012）。MSC公司：68吨15 68问题65 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Dénès}等人，Lect。票据计算。科学。740683-98（2012年；Zbl 1360.68745） 全文： 内政部 哈尔
乔纳森·赫拉斯；Dénès，马克西姆；加迪亚·马塔；安德斯·莫特伯格；玛丽亚·波扎；文森特·塞尔斯 数字图像同源群的认证计算。 （英语） Zbl 1357.68280号 Ferri，Massimo（编辑）等人，《图像上下文中的计算拓扑》。2012年5月28日至30日在意大利贝蒂诺罗举行的2012年CTIC第四届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-30237-4/pbk）。计算机科学课堂讲稿7309，49-57（2012）。MSC公司：68平方英寸10 57号05 68吨15 92 C55 PDF格式BibTeX公司 XML格式引用 \textit{J.Heras}等人，Lect。票据计算。科学。7309、49-57（2012；Zbl 1357.68280） 全文： 内政部
可口、蒂埃里；文森特·塞尔斯 类型理论中正则表达式等价的判定过程。 （英语） Zbl 1350.68228号 Jouannaud，Jean-Pierre（编辑）等人，认证程序和证明。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25378-2/pbk）。计算机科学课堂讲稿7086，119-134（2011）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}和\textit{V.Siles}，莱克特。票据计算。科学。7086、119--134（2011；Zbl 1350.68228） 全文： 内政部