克里斯托夫·库彻恩;黄依莲 创造性地压缩多个总和。 (英语) Zbl 1494.33017号 数学。计算。科学。 15,第3期,483-498(2021).理学硕士:33层10 33二氧化碳 39甲13 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Koutschan}和\textit{E.Wong},数学。计算。科学。15,第3号,483--498(2021;Zbl 1494.33017) 全文: 内政部 arXiv公司
费卢西奥·圭迪;克劳迪奥·萨塞尔多蒂·科恩 数学知识检索综述。 (英语) Zbl 1409.68085号 数学。计算。科学。 10,第4号,409-427(2016).理学硕士:68第20页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Guidi}和\textit{C.Sacerdoti Coen},数学。计算。科学。10,第4号,409--427(2016;Zbl 1409.68085) 全文: 内政部 arXiv公司
Laurent Théry(编辑);弗里克·威迪杰克(编辑) 特别关注数学和计算机科学的形式证明的前言。 (英语) Zbl 1308.00050号 数学。计算。科学。 9,第1期,第1-3期(2015年).理学硕士:00年1月15日 68吨15 68-06 PDF格式BibTeX公司 XML格式引用 \textit{L.Théry}(编辑)和\textit{F.Wiedijk}(主编),数学。计算。科学。9、1号、1--3(2015;Zbl 1308.00050) 全文: 内政部
乔纳森·赫拉斯;叶卡捷琳娜·科门丹茨卡亚 Coq中的循环证明模式:案例研究。 (英语) Zbl 1302.68243号 数学。计算。科学。 8,第1期,99-116(2014).理学硕士:68吨15 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Heras}和\textit{E.Komendantskaya},数学。计算。科学。8,第1号,99-116(2014;Zbl 1302.68243) 全文: 内政部 arXiv公司
大卫·阿斯皮纳尔;丹尼,尤恩;克里斯托夫·吕斯 分级证明的策略。 (英语) Zbl 1205.68359号 数学。计算。科学。 3,第3号,309-330(2010).理学硕士:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Aspinall}等人,数学。计算。科学。3,第3号,309--330(2010;Zbl 1205.68359) 全文: 内政部