霍利·哈默 31份文件引用(2014–2022) 软件作者: 塞萨里·卡利西克;约瑟夫·乌尔班 相关软件: HOL灯;VAMPIRE公司;E定理证明器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);光学、电磁理论(78-XX)
人力资源 27篇文献引用(2002–2022) 软件作者: 西蒙·科尔顿 相关软件: 涂鸦;水獭;梅斯4… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
VeriML公司 8份文件引用(2010–2016) 软件作者: 安东尼斯·斯坦普利斯;邵,钟 相关软件: Coq;甲基丙烯酸甲酯;seL4… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
PyZX公司 5份文件引用(2019–2022) 软件作者: 基辛格,Aleks;约翰·范德韦特林 相关软件: 奎珀;项目Q;Quantomatic… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
西格玛KEE 4份文件引用(2009年至2020年) 软件作者: 亚当·皮斯(Adam Pease);斯蒂芬·舒尔茨 相关软件: E定理证明器;VAMPIRE公司;SRASS… 主要字段: 计算机科学(68-XX)
路由库 2份文件引用(2018–2020) 软件作者: 兰·兹米格罗德;马修·达吉特(Matthew L.Daggitt)。;蒂莫西·格里芬。 相关软件: 阿格达;github 主要字段: 计算机科学(68-XX)