埃里克·威瑟 依赖型代数层次结构中的多重继承危险。 （英语） Zbl 07810734号 Dubois，Catherine（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14101, 222-236 (2023).MSC公司：68伏xx PDF格式BibTeX公司 XML格式引用 \textit{E.Wieser}，莱克特。注释计算。科学。14101、222--236（2023；Zbl 07810734） 全文： 内政部 arXiv公司
雷纳尔德·阿弗尔德;西里尔·科恩 在依赖型理论中用可拓方法度量结构，并将其应用于集成。 （英语） Zbl 07739778号 J.汽车。推理 67，第3期，第28号论文，27页（2023年）.MSC公司：第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{R.Affeldt}和\textit{C.Cohen}，J.Autom。推理67，第3号，论文28，27页（2023；Zbl 07739778） 全文： 内政部 arXiv公司
阿尤木斋藤;雷纳尔德·阿弗尔德 走向Coq中一元方程推理的实用库。 （英语） 兹伯利07705361 Komendantskaya，Ekaterina（编辑），《程序构建的数学》。2022年9月26日至28日，第14届国际会议，MPC 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13544, 151-177 (2022).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Saito}和\textit{R.Affeldt}，莱克特。注释计算。科学。13544，151--177（2022；Zbl 07705361） 全文： 内政部
埃里克·威瑟;张居健 Lean依赖型理论中的分次环。 （英语） Zbl 07691294号 Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13467, 122-137 (2022).MSC公司：68伏xx PDF格式BibTeX公司 XML格式引用 \textit{E.Wieser}和\textit{J.Zhang}，Lect。注释计算。科学。13467，122-137（2022；Zbl 07691294） 全文： 内政部
坂口和彦 验证数学结构。 （英语） Zbl 07614666号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12167, 138-157 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \发短信{K.Sakaguchi}，Lect。注释计算。科学。12167，138--157（2020；Zbl 07614666） 全文： 内政部 arXiv公司