zbMATH中的参考文献（引用于 145篇文章，1标准件)

1. Basin，David A.；Lochbihler，Andreas；Sefidgar，S.Reza:密码：高阶逻辑中基于博弈的证明（2020）
2. Christoph Benzmüller；Scott，Dana S.：自动化HOL中的自由逻辑，范畴理论的实验应用（2020）
3. 比斯平，本杰明；内斯特曼，威斯康星州；彼得斯，基尔斯廷：耦合相似性：前32年（2020年）
4. Jose Divasón；Joosten，Sebastiaan J.C.；Thiemann，René；Yamada，Akihisa：Berlekamp-Zassenhaus分解算法的验证实现（2020）
5. Simon Foster；Ana Cavalcanti；Samuel Canham；Jim Woodcock；Frank Zeyda：反应式设计合同统一理论（2020）
6. Gouëzel，Sébastien；Karlsson，Anders:次加法和乘法遍历定理（2020）
7. Joosten，Sebastiaan J.C.；Thiemann，René；Yamada，Akihisa:Isabelle/HOL中代数数的验证实现（2020）
8. Daniel Kirchner；Christoph Benzmüller；Zalta，Edward N.：功能类型理论中的机械化原理逻辑形而上学（2020）
9. Li，Wenda；Paulson，Lawrence C.：通过Isabelle/HOL的Cauchy指数评估缠绕数和计算复数根（2020）
10. Sheng，Feng；Zhu，Hui Biao；He，Jifeng；Yang，Zongyuan；Bowen，Jonathan P:基于UTP的MDESL指称语义的理论与实践研究（2020）
11. Sternagel，Christian:Higman引理的机械化证明（2020）
12. 拜耳，乔纳斯；大卫，马可；帕尔，阿比克；斯托克，贝尼迪克：初学者寻求形式化数学：伊莎贝尔可行性研究（2019年）
13. Alexander Bentkamp；Jasmin Christian Blanchette；Dietrich Klakow：深度学习表现力的正式证明（2019）
14. Arthur Charguéraud；Pottier，François:使用时间信用验证分离逻辑中union-find实现的正确性和摊余复杂性（2019）
15. 大卫·富恩马约尔；克里斯托夫·本兹米勒：《计算解释学：自然语言论证逻辑分析的综合方法》（2019）
16. Immler，Fabian；Traut，Christoph:敖德斯流：变分方程和庞加莱映射的形式化（2019）
17. 拉米奇，彼得：对命令式霍尔的改进（2019）
18. Peter Lammich；Lochbihler，Andreas：《高效数据结构的自动优化：两种方法的比较》（2019年）
19. Lammich，Peter；Sefidgar，S.Reza:形式化网络流算法：Isabelle/HOL的精化方法（2019）
20. Li，Wenda；Passmore，Grant Olney；Paulson，Lawrence C.：在Isabelle/HOL（2019年）中使用不可信证书确定单变量多项式问题