zbMATH参考文献（参考 152篇文章 参考，1标准件)

1. 巴拉林，克莱门斯：用语言环境探索代数文本的结构（2020）
2. Basin，David A.；Lochbihler，Andreas；Sefidgar，S.Reza:密码：高阶逻辑中基于博弈的证明（2020）
3. Christoph Benzmüller；Fuenmayor，David:Gödel本体论论证变体中正属性、超滤器和模态崩溃的计算机支持分析（2020）
4. Christoph Benzmüller；Scott，Dana S.：自动化HOL中的自由逻辑，范畴理论的实验应用（2020）
5. 比斯平，本杰明；内斯特曼，威斯康星州；彼得斯，基尔斯廷：耦合相似性：前32年（2020年）
6. Jose Divasón；Joosten，Sebastiaan J.C.；Thiemann，René；Yamada，Akihisa：Berlekamp-Zassenhaus分解算法的验证实现（2020）
7. Eberl，Manuel；Haslbeck，Max W.；Nipkow，Tobias:随机二叉树结构的验证分析（2020）
8. Simon Foster；Ana Cavalcanti；Samuel Canham；Jim Woodcock；Frank Zeyda：反应式设计合同统一理论（2020）
9. Gouëzel，Sébastien；Karlsson，Anders:次加法和乘法遍历定理（2020）
10. Joosten，Sebastiaan J.C.；Thiemann，René；Yamada，Akihisa:Isabelle/HOL中代数数的验证实现（2020）
11. Daniel Kirchner；Christoph Benzmüller；Zalta，Edward N.：功能类型理论中的机械化原理逻辑形而上学（2020）
12. Li，Wenda；Paulson，Lawrence C.：通过Isabelle/HOL的Cauchy指数评估缠绕数和计算复数根（2020）
13. Schlichtkrull，Anders；Blanchette，Jasmin；Traytel，Dmitriy；Waldmann，Uwe:形式化Bachmair和Ganzinger的有序解析证明（2020）
14. Sheng，Feng；Zhu，Hui Biao；He，Jifeng；Yang，Zongyuan；Bowen，Jonathan P:基于UTP的MDESL指称语义的理论与实践研究（2020）
15. Sternagel，Christian:Higman引理的机械化证明（2020）
16. Thiemann，René；Bottesch，Ralph；Divasón，Jose；Haslbeck，Max W.；Joosten，Sebastiaan J.C.；Yamada，Akishisa：Isabelle/HOL中LLL基约化算法和LLL因子分解算法的形式化（2020年）
17. 拜耳，乔纳斯；大卫，马可；帕尔，阿比克；斯托克，贝尼迪克：初学者寻求形式化数学：伊莎贝尔可行性研究（2019年）
18. Alexander Bentkamp；Jasmin Christian Blanchette；Dietrich Klakow：深度学习表现力的正式证明（2019）
19. Arthur Charguéraud；Pottier，François:使用时间信用验证分离逻辑中union-find实现的正确性和摊余复杂性（2019）
20. 大卫·富恩马约尔；克里斯托夫·本兹米勒：《计算解释学：自然语言论证逻辑分析的综合方法》（2019）