zbMATH中的参考文献（引用于，2标准条款)

1. Angeliki Koutsouku Argyraki：数学形式化——在实践中；一位数学家与Isabelle/HOL的第一次经验以及开始的原因和方法（2021年）
2. 阿西娅·马布比；托马斯·西布特·皮诺特：关于（\zeta（3））（2021）非理性的正式证明
3. Reed Oei，Dun Ma，Christian Schulz，Philipp Hieronymi:Pecan:使用Büchi自动机的自动序列定理证明器（2021）阿尔十四
4. Abrahamsson，Oskar:高阶逻辑的验证检查器（2020）
5. Abrahamsson，Oskar；Ho，Son；Kanabar，Hrutvik；Kumar，Ramana；Myreen，Magnus O.；Norrish，Michael；Tan，Yong Kiam:从单体霍尔函数合成CakeML的制样（2020年）
6. 巴拉林，克莱门斯：用语言环境探索代数文本的结构（2020）
7. Barbosa，Haniel；Blanchette，Jasmin Christian；Fleury，Mathias；Fontaine，Pascal：配方加工的可缩放细粒度证明（2020年）
8. Basin，David A.；Lochbihler，Andreas；Sefidgar，S.Reza:密码：高阶逻辑中基于博弈的证明（2020）
9. Christoph Benzmüller；Fuenmayor，David:Gödel本体论论证变体中正属性、超滤器和模态崩溃的计算机支持分析（2020）
10. Benzmüller，Christoph；Parent，Xavier；van der Torre，Leendert:为伦理和法律推理设计规范性理论：\textslogickyframework，methodology，and tool support（2020年）
11. Christoph Benzmüller；Scott，Dana S.：自动化HOL中的自由逻辑，范畴理论的实验应用（2020）
12. Rudolf Berghammer；Furusawa，Hitoshi；Guttmann，Walter；Höfner，Peter:路径的关系特征（2020）
13. 马里奥，卡内罗：元数学零：设计定理证明器（2020）
14. Walter Carinelli；David Fuenmayor:Gödel不完全性定理（2020）
15. 科盖托，罗兰：克莱恩贝尔特拉米模型。四（2020年）
16. 科盖托，罗兰：克莱恩贝尔特拉米模型。三（2020年）
17. Cristiá，Maximiliano；Rossi，Gianfranco:求解有限集和二元关系上的无量词一阶约束（2020）
18. Jose Divasón；Joosten，Sebastiaan J.C.；Thiemann，René；Yamada，Akihisa：Berlekamp-Zassenhaus分解算法的验证实现（2020）
19. Dolu，Nazlı；Hastürk，Umur；Nature，Mustafa Kemal：考虑最近欧几里得距离的地区客户的最小-最大设施位置问题的解决方法（2020年）
20. Eberl，Manuel；Haslbeck，Max W.；Nipkow，Tobias:随机二叉树结构的验证分析（2020）