水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
佩斯卡 198篇文献引用（2001年-2023年） 软件作者： 阿内·兰塔 相关软件： MiniML；Coq；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
名义伊莎贝尔 82篇文献引用(2005–2023) 软件作者： 城市，基督教；塞萨里·卡利西克 相关软件： Isabelle/HOL；流行标志；Coq… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
K校准仪 52篇文献引用(2007–2024) 软件作者： 罗什、格里戈尔等人 相关软件： 莫德；K工具；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
奥特 34份文件引用(2007–2021) 软件作者： 彼得·休厄尔（Peter Sewell）；纳德利，弗朗西斯科·扎帕；斯科特·欧文斯；吉尔斯·佩斯金（Gilles Peskine）；托马斯·里奇；萨卡，苏斯米特；斯特尼萨，洛克 相关软件： Coq；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
CC-Pi公司 在28份文件中引用(2007–2022) 软件作者： Maria Grazia Buscemi，乌戈·蒙塔纳里 相关软件： 奶牛；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
PLT兑换 在25份文件中引用(2009–2022) 软件作者： 费莱森，马提亚斯；布鲁斯·芬德勒；马修·弗拉特 相关软件： Coq；K校准仪；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
朱莉 8份文件引用(2009–2021) 软件作者： 伊凡·拉内斯；蒙泰西（Fabrizio Montesi）；吉安路易吉·扎瓦塔罗 相关软件： 奶牛；SWORD；兽人… 主要字段： 计算机科学（68-XX）
simpA公司 5份文件引用(2002–2012) 软件作者： 亚历山德罗·里奇；米尔科·维罗利；朱利奥·皮安卡斯特利 相关软件： 羽量级Java；CArtAgO；重新规范… 主要字段： 计算机科学（68-XX）
莱姆 4份文件引用(2011–2021) 软件作者： 多米尼克·P·穆利根。；斯科特·欧文斯；凯瑟琳·格雷（Kathryn E.Gray）。；汤姆·里奇；彼得·休厄尔 相关软件： Isabelle/HOL；Coq；ACL2… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
棒棒糖 5份文件引用(2010–2016) 软件作者： Karl Mazurak；史蒂夫·兹丹塞维奇 相关软件： VeriML；雷卡姆；哈斯克尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
SCE灯 4份文件引用(2014–2020) 软件作者： 德尼古拉（De Nicola）、罗科（Rocco）；阿尔贝托卢克·拉富恩特；米歇尔·洛雷蒂；安德烈亚·莫里切塔（Andrea Morichetta）；罗萨里奥，普利斯；瓦莱里奥·塞尼；弗朗西斯科·蒂埃齐 相关软件： SCEL；自旋蛋白；琳达… 主要字段： 计算机科学（68-XX）
SOL公司 引用于3份文件（2019年至2022年） 软件作者： 马科托·哈马纳 相关软件： Coq；哈斯克尔；咖啡OBJ… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
CaPrI公司 2份文件引用（1998-2000年） 软件作者： Gerd Neugebauer；乌韦·彼得曼 相关软件： 程序委员会 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ScaFi系统 1份文件引用（2023年） 软件作者： 乔治·奥德里托；罗伯托·卡萨迪；达米亚尼，费鲁西奥；米尔科·维罗利 相关软件： MapReduce；SDEF；Protelis… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
简约RaTT 1份文件引用（2023年） 软件作者： 帕特里克·巴尔（Patrick Bahr）；格劳伦德（Graulund），克里斯蒂安（Christian）；拉斯穆斯·莫格伯格 相关软件： MiniML；效率；阿格达 主要字段： 计算机科学（68-XX）