zbMATH参考文献（158篇文章引用），1标准件)

1. Angeliki Koutsouku Argyraki：数学形式化——在实践中；一位数学家与Isabelle/HOL的第一次经验以及开始的原因和方法（2021年）
2. 阿西娅·马布比；托马斯·西布特·皮诺特：关于（\zeta（3））（2021）非理性的正式证明
3. Rusu，Vlad；Nowak，David：（Co）《可达逻辑中组合证明的归纳证明系统》（2021）
4. 巴拉林，克莱门斯：用语言环境探索代数文本的结构（2020）
5. Basin，David A.；Lochbihler，Andreas；Sefidgar，S.Reza:密码：高阶逻辑中基于博弈的证明（2020）
6. Christoph Benzmüller；Fuenmayor，David:Gödel本体论论证变体中正属性、超滤器和模态崩溃的计算机支持分析（2020）
7. Christoph Benzmüller；Scott，Dana S.：自动化HOL中的自由逻辑，范畴理论的实验应用（2020）
8. 比斯平，本杰明；内斯特曼，威斯康星州；彼得斯，基尔斯廷：耦合相似性：前32年（2020年）
9. Jose Divasón；Joosten，Sebastiaan J.C.；Thiemann，René；Yamada，Akihisa：Berlekamp-Zassenhaus分解算法的验证实现（2020）
10. Eberl，Manuel；Haslbeck，Max W.；Nipkow，Tobias:随机二叉树结构的验证分析（2020）
11. Simon Foster；Ana Cavalcanti；Samuel Canham；Jim Woodcock；Frank Zeyda：反应式设计合同统一理论（2020）
12. Gouëzel，Sébastien；Karlsson，Anders:次加法和乘法遍历定理（2020）
13. Joosten，Sebastiaan J.C.；Thiemann，René；Yamada，Akihisa:Isabelle/HOL中代数数的验证实现（2020）
14. Daniel Kirchner；Christoph Benzmüller；Zalta，Edward N.：功能类型理论中的机械化原理逻辑形而上学（2020）
15. Li，Wenda；Paulson，Lawrence C.：通过Isabelle/HOL的Cauchy指数评估缠绕数和计算复数根（2020）
16. Mansky，Susannah；Gunter，Elsa L.：使用回归测试选择算法的智能类的安全性（2020）
17. Schlichtkrull，Anders；Blanchette，Jasmin；Traytel，Dmitriy；Waldmann，Uwe:形式化Bachmair和Ganzinger的有序解析证明（2020）
18. Sheng，Feng；Zhu，Hui Biao；He，Jifeng；Yang，Zongyuan；Bowen，Jonathan P:基于UTP的MDESL指称语义的理论与实践研究（2020）
19. Sternagel，Christian:Higman引理的机械化证明（2020）
20. Thiemann，René；Bottesch，Ralph；Divasón，Jose；Haslbeck，Max W.；Joosten，Sebastiaan J.C.；Yamada，Akishisa：Isabelle/HOL中LLL基约化算法和LLL因子分解算法的形式化（2020年）