zbMATH中的参考文献（参考文献166篇,1标准件)

1. 安巴尔，纪尧姆；伦格莱特，塞尔盖伊；施密特，艾伦：（\mathrmo\pi）在《考克》（2021年）
2. 巴特勒，D。；洛克比勒，A。；阿斯皮纳尔，D。；Gascón，A.：形式化（\varSigma）-使用密码的协议和承诺方案（2021）
3. 福斯特，西蒙；叶康峰；安娜，卡瓦尔康蒂；Jim Woodcock:通过计算自动验证反应式和并发程序（2021）
4. 阿吉拉基：数学形式化——在实践中；一位数学家与伊莎贝尔/霍尔的第一次接触以及开始的原因和方法（2021年）
5. 布哈西比；托马斯·西布特·皮诺特：关于（\zeta（3））（2021）非理性的正式证明
6. 波佩斯库，安德烈；拉米，彼得；侯平：CoCon：一个正式验证文件机密性的会议管理系统（2021）
7. 拉苏，弗拉德；大卫.诺瓦克：（Co）可达逻辑合成证明的归纳证明系统（2021）
8. 西米奇，丹尼耶拉；马里奇，菲利普；Boutry，Pierre:双曲几何庞加莱圆盘模型的形式化（2021）
9. 西森，罗伯特；默里，托比：混合敏感度并发程序的验证安全编译（2021）
10. 蒂曼，勒内：决定矩阵增长的Perron-Frobenius定理（2021）
11. 巴拉林，克莱门斯：用语言环境探索代数文本的结构（2020）
12. 盆地，大卫A。；洛赫比勒，安德烈亚斯；Sefidgar，S.Reza:密码：高阶逻辑中基于博弈的证明（2020）
13. 本斯米勒，克里斯托夫；大卫富恩马约尔：哥德尔本体论论证变体中正属性、超滤和模态崩溃的计算机支持分析（2020）
14. 本斯米勒，克里斯托夫；Scott，Dana S.：自动化HOL中的自由逻辑，范畴理论的实验应用（2020）
15. 比斯平，本杰明；威斯康星州内斯特曼；彼得斯，基尔斯廷：耦合相似性：头32年（2020年）
16. 迪瓦森，何塞；乔斯顿，塞巴斯蒂安J.C。；蒂曼，勒内；Yamada，Akihisa:Berlekamp-Zassenhaus因式分解算法的验证实现（2020）
17. 埃伯尔，曼纽尔；哈斯贝克，马克斯W。；Nipkow，Tobias:随机二叉树结构的验证分析（2020）
18. 福斯特，西蒙；坎塔纳，卡瓦利；加纳姆，塞缪尔；伍德考克，吉姆；反应式设计理论（Frank Zeyda，2020）
19. 戈泽尔，塞巴斯蒂安；Karlsson，Anders:次加法和乘法遍历定理（2020）
20. 乔斯顿，塞巴斯蒂安J.C。；蒂曼，勒内；Yamada，Akihisa:Isabelle/HOL中代数数的验证实现（2020）