PVS公司 617文件引用(1993–2023) 软件作者： Sam Owre、Natarajan Shankar、John Rushby 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
毫升 516份文件引用(1978–2024) 软件作者： 罗伯特·哈珀；米尔纳，罗宾；托夫特、麦兹；爱丁堡大学 相关软件： HOL；Coq；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
TPTP公司 419份文件引用(1994–2023) 软件作者： Geoff Sutcliffe；克里斯蒂安·萨特纳 相关软件： VAMPIRE公司；E定理证明器；SPASS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
ACL2型 287份文件引用(1998–2023) 软件作者： 马特·考夫曼（Matt Kaufmann）、斯特罗特·摩尔（Strother Moore） 相关软件： Coq；Isabelle/HOL；PVS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）…
SMT-LIB公司 222篇文献引用（2004年至2024年） 软件作者： 克拉克·巴雷特；莱昂纳多·德·莫拉；西尔维奥·兰伊斯；阿伦·斯塔姆（Aaron Stump）；塞萨尔·蒂内利 相关软件： z3；CVC4；Yices… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
液化石油气 164篇文献引用(1972–2024) 软件作者： 罗宾·米尔纳 相关软件： Coq；毫升；HOL… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
伊萨尔 156篇文献中引用（2000年至2024年） 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
OBJ3型 140篇文献引用(1989–2023) 软件作者： J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud；（基尼里） 相关软件： 莫德；OBJ咖啡馆；CASL… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
精益 94份文件引用(2015–2024) 软件作者： 微软；莱昂纳多·德·莫拉；孔顺浩；杰里米·阿维加德；弗洛里斯·范·道恩（Floris van Doorn）；雅各布·冯·劳默 相关软件： Coq；Isabelle/HOL；Agda… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；范畴理论；同调代数（18-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
萨塔拉克 67篇文献引用(2010–2023) 软件作者： 乍得·E·布朗；安德烈亚斯·提克（Andreas Teucke）；杰夫·萨克利夫（Geoff Sutcliffe）；弗兰克·泰伊；格特·斯莫尔卡；朱利安·巴克斯；克里斯·本穆勒 相关软件： TPTP；Isabelle/HOL；LEO-II… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
阿贝拉 57篇文献引用(2008–2023) 软件作者： 安德鲁·加塞克 相关软件： Twelf；白鲸；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
凯伊马拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
马拉雷亚 56篇文献引用(2007–2023) 软件作者： 约瑟夫·乌尔班 相关软件： E定理证明；VAMPIRE公司；Mizar… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；数值分析（65-XX）…
MPTP 0.2 55份文件引用(2006–2021) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；VAMPIRE公司；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
核桃 56篇文献引用(2017–2024) 软件作者： 哈蒙·穆萨维 相关软件： 组织环境信息系统；github；山核桃… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
IMPS公司 52篇文献引用(1990–2021) 软件作者： Farmer，William M。；约书亚·D·古特曼。；塞耶，F.哈维尔 相关软件： 伊莎贝尔；Nuprl；Coq… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
Daikon公司 41篇文献引用(2005–2022) 软件作者： 迈克尔·D·恩斯特。；Jeff H.Perkins。；菲利普·郭（Philip J.Guo）。；斯蒂芬·麦卡曼特；卡洛斯·帕切科；马修·桑茨（Matthew S.Tschantz）。；肖，陈 相关软件： JML；胡迪尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
常春藤 45篇文献引用(2000–2023) 软件作者： 威廉·麦库恩；奥尔加·舒姆斯基 相关软件： 常春藤；z3；TPTP… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
精益TAP 44篇文献引用(1994–2022) 软件作者： 贝恩哈德·贝克特；约阿希姆·波塞加 相关软件： SETHEO；TPTP；萨奇莫… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
次/次 35篇文献引用(1998–2021) 软件作者： 社区Z工具项目 相关软件： Z；电源保护；马戏团… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数几何（14-XX）…
蛤 41篇文献引用(1989–2021) 软件作者： Bundy，A.，van Harmelen，F.，Horn，C。 相关软件： 牡蛎；Nuprl；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
GEX公司 34份文件引用(1996–2023) 软件作者： Gao，X.-S.等。 相关软件： GeoGebra；日本国债交易所；GCLC… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；数值分析（65-XX）…
OMRS公司 39篇文献引用(1995–2009) 软件作者： 亚历山德罗·阿曼多；Michael Kohlhase；西尔维奥·兰伊斯 相关软件： 分析；定理；PVS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
牡蛎 34份文件引用(1989–2021) 软件作者： 霍恩，克里斯蒂安；阿兰·斯梅尔 相关软件： 蛤；Nuprl；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
jStar公司 32篇文献引用(2008–2022) 软件作者： DiStefano，D.，Parkinson，M。 相关软件： 小脚；VeriFast；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
伊朗CoP 32篇文献引用(2005–2022) 软件作者： 延斯·奥滕 相关软件： 精益CoP；TPTP；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
HOLyHammer公司 引用于31份文件（2014年至2022年） 软件作者： 塞萨里·卡利西克；约瑟夫·乌尔班 相关软件： HOL灯；VAMPIRE公司；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）
公主 30篇文献引用(2010–2023) 软件作者： Angelo Brillout、Daniel Kroening、Philipp Rümmer、Thomas Wahl 相关软件： FOCI；z3；Eldarica… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
ILTP公司 引用于29份文件(2005–2021) 软件作者： 托马斯·拉思；延斯·奥顿 相关软件： TPTP；伊朗CoP；Imogen… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MaLeCoP公司 30篇文献引用(2011–2023) 软件作者： Josef Urban、JiříVyskočil、PetrŠtŞpánek 相关软件： E定理证明器；马拉雷亚；Mizar… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
符号数据 28篇文献引用（2004年至2020年） 软件作者： 汉斯·格特·格拉贝 相关软件： 单一；SDeval；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
GeoThms公司 26篇文献引用(2006–2023) 软件作者： 佩德罗·夸雷斯马；Predrag Janić 相关软件： GCL校准仪；GCLC；GeoGebra… 主要字段： 总体主题；藏品（00-XX）；几何（51-XX）；计算机科学（68-XX）…
迪杜克蒂 24篇文献引用(2012–2023) 软件作者： 马修·博埃斯弗鲁格（Mathieu Boespflug）、罗南·赛拉德（Ronan Saillard）、弗朗索瓦·瑟雷（François Thiré）、加斯帕德·弗雷（Gaspard Férey） 相关软件： Coq；泽农；HOL灯… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
伊尔迪斯 26篇文献引用(2011–2023) 软件作者： —— 相关软件： 伊德里斯；Coq；Agda… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
E-Darvin公司 23篇文献引用(2006–2023) 软件作者： 彼得·鲍姆加特纳（Peter Baumgartner）；比约恩·佩尔泽；蒂内利、塞萨尔；亚历山大·富克斯（Alexander Fuchs）；汉斯·德·尼维尔 相关软件： 达尔文；梅斯4；TPTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
HipSpec（髋关节规范） 23篇文献引用(2013–2023) 软件作者： 科恩·克莱森；穆阿·约翰逊（Moa Johansson）；丹·罗斯恩；尼古拉斯·斯莫尔博内 相关软件： IsaCoSy；VAMPIRE公司；CVC4… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）
狮子座III 21篇文献引用(2015–2023) 软件作者： 亚历山大·斯蒂恩（Alexander Steen）；马克斯·维斯涅夫斯基（Max Wisniewski）；克里斯托夫·本兹穆勒 相关软件： 沙达拉；TPTP；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
马特佩特 14篇文献引用(1989–2019) 软件作者： 迈克尔·比森 相关软件： 哈斯克尔；动态数学；MathXpert… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；数学教育（97-XX）
NiVER公司 21篇文献引用(2005–2023) 软件作者： Sathiamoorthy Subbarayan；Dhiraj K.普拉丹。 相关软件： MiniSat；糠；TPTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
太阳能 19份文件引用(1993–2022) 软件作者： Hidetomo Nabeshima、Koji Iwanuma、Katsumi Inoue、Oliver Ray 相关软件： E定理证明器；SPASS；SCIFF… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
日本国债交易所 18篇文献引用(2007–2023) 软件作者： Ye，Zheng；周尚卿；高小山 相关软件： GEX；GeoGebra；地理信息… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；几何（51-XX）…
ModLeanTAP模式 19份文件引用(1998–2019) 软件作者： 贝克特，伯恩哈德；拉杰夫·戈尔 相关软件： 精益TAP；Coq；MSPASS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
IsaCoSy公司 18篇文献引用(2010–2023) 软件作者： 穆阿·约翰逊（Moa Johansson）；卢卡斯·狄克逊；阿兰·邦迪 相关软件： HipSpec公司；IsaPlanner；时髦… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MizarMode（米扎尔模式） 18篇文献引用(2006–2019) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；MoMM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
深度数学 16篇文献引用(2017–2023) 软件作者： Alex A.Alemi、Francois Chollet、Niklas Een、Geoffrey Irving、Christian Szegedy、Josef Urban 相关软件： E定理证明器；米扎尔；谜… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；计算机科学（68-XX）
Mtac公司 16篇文献引用(2013–2021) 软件作者： Ziliani，贝塔；德里克·德雷尔（Derek Dreyer）；Krishnaswami，Neelakantan R。；阿列克桑达尔·纳内夫斯基；维克托·瓦菲亚迪斯 相关软件： Coq；阿格达；Idris… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
轨道图书馆 16篇文献引用(2008–2021) 软件作者： 安德烈·普拉泽 相关软件： z3；凯伊迈拉；QEPCAD… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；代数几何（14-XX）…
BliStrTune公司 14篇文献引用(2017–2023) 软件作者： Josef Urban的Jan Jakubuv 相关软件： E定理证明器；VAMPIRE公司；BliStr… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；几何（51-XX）…
MMP/几何仪 15篇文献引用(2004–2023) 软件作者： 高小山；林强（Lin，Qiang） 相关软件： GEX；GCLC；GeoGebra… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；数值分析（65-XX）…
ArgoCLP公司 14篇文献引用(2011–2023) 软件作者： 萨那斯托亚诺维奇；巴甫洛维奇，韦斯纳；贾尼契奇，普雷德拉格 相关软件： Coq；GCLC；TPTP… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）…
科根（Cogent） 11份文件引用(2005–2018) 软件作者： 库克，拜伦；Daniel Kroening；娜塔莎·莎莉吉娜 相关软件： 卫星抗体；简化；旋转… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
JProver公司 14篇文献引用(2001–2020) 软件作者： Schmitt，S.，Lorigo，L.，Kreitz，C.，诺金，A 相关软件： 依兰CoP；精益CoP；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
TGTP公司 14篇文献引用(2011–2021) 软件作者： 佩德罗·夸雷斯马 相关软件： 地质学；Intergeo；GeoGebra… 主要字段： 总体主题；藏品（00-XX）；几何（51-XX）；计算机科学（68-XX）…
芝诺牌手表 14篇文献引用(2012–2022) 软件作者： William Sonnex；索菲亚·德罗索波卢；苏珊·艾森巴赫 相关软件： HipSpec；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
EQP公司 13份文件引用(1997–2022) 软件作者： 威廉·麦库恩 相关软件： 水獭；Waldmeister；SPASS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
ACL2 12份文件引用(2007–2021) 软件作者： 彼得·迪林杰（Peter C.Dillinger）。；Manolios、Panagiotis；达隆，弗隆；J Strother摩尔 相关软件： ACL2；芝诺；NQTHM… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
米兹3 12份文件引用(2012–2020) 软件作者： 弗里克·威迪杰克 相关软件： Coq；米扎尔；Isar… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
PRocH公司 12份文件引用(2013–2018) 软件作者： Cezary Kaliszyk；约瑟夫·乌尔班 相关软件： HOL灯；Flyspeck；E定理证明器… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
质量管理长期计划 12份文件引用(2012–2022) 软件作者： 托马斯·拉斯（Thomas Raths）；延斯·奥滕 相关软件： TPTP；MleanCoP；MSPASS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
6月2日 11份文件引用(1996–2004) 软件作者： 艾伦·海登；格雷格·纳尔逊 相关软件： 天蓝色；MMP/Geometer；梅德勒… 主要字段： 几何（51-XX）；数值分析（65-XX）；计算机科学（68-XX）…
穆斯卡迪特 10篇文献引用(1989–2021) 软件作者： 多米尼克·帕斯特 相关软件： 水獭；自动化；伊莎贝尔/采埃孚… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
萨帕托 11份文件引用（2004年至2018年） 软件作者： Ball，T.、Cook，B.、Lahiri，S.K.、Zhang，L。 相关软件： CVC-Lite；糠；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
雅典娜 10篇文献引用(2004–2017) 软件作者： 康斯坦丁·阿库达斯 相关软件： 雅典娜；HE-E1GODF；卡斯特罗… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
gcl公司 10篇文献引用(2010–2023) 软件作者： 贾尼契奇，普雷德拉格 相关软件： GCLC；GEX；GeoGebra… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）…
HOL测试发电机 引用于6份文件(2007–2018) 软件作者： 阿希姆·D·布鲁克、卢卡斯·布吕格、阿卜杜拉赫曼·费利亚奇、尚塔尔·凯勒、马蒂亚斯·P·克里格、德尔芬·朗格特、雅库布·内穆奇、费雷里克·通、伯克哈特·沃尔夫 相关软件： Isabelle/HOL；ETPS；科拉特… 主要字段： 计算机科学（68-XX）
HOList公司 10篇文献引用(2020–2023) 软件作者： 克什蒂吉·班萨尔、莎拉·卢斯、马库斯·拉贝、克里斯蒂安·塞格迪、斯图尔特·威尔科克斯 相关软件： 谜；E定理证明器；FEMaLeCoP… 主要字段： 群论与推广（20-XX）；数值分析（65-XX）；计算机科学（68-XX）
数学方案 9份文件引用(2011–2021) 软件作者： 雅克·卡雷特；Farmer，William M。；罗素·奥康纳 相关软件： Coq；阿格达；HOL灯… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
ML4PG系列 10篇文献引用(2013–2021) 软件作者： 乔纳森·赫拉斯；叶卡捷琳娜·科门丹茨卡亚 相关软件： Coq；SEPIA；Flyspeck… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
Regex_Equivalence（正则_等效） 10篇文献引用(2014–2023) 软件作者： Nipkow，T。；特雷特尔，D。 相关软件： Isabelle/HOL；存档正式证据；起重… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
赫梅斯 8份文件引用(2005–2009) 软件作者： Bozga，L.、Lakhnech，Y.、Perin，M。 相关软件： 阿维斯帕；卡斯珀；Timbuk… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
欧米茄-ANTS 9份文件引用（2001年至2008年） 软件作者： 克里斯托夫·本兹穆勒；沃尔克·索尔格 相关软件： 欧米茄；LOUI；陷阱… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
帕塞农 引用于6份文件(1989–2004) 软件作者： Bose，Soumitra；埃德蒙·克拉克（Edmund M.Clarke）。；Long，David E。；斯皮罗·米查洛夫 相关软件： 气象；SETHEO公司；巴黎… 主要字段： 计算机科学（68-XX）
RALL公司 9份文件引用(1997–2014) 软件作者： 大卫·冯·奥海姆，托马斯·格里茨纳 相关软件： 拉尔夫；Isabelle/HOL；ARA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SEPIA公司 9份文件引用(2015–2023) 软件作者： Gransden，T.、Walkinshaw，N.、Raman，R。 相关软件： E定理证明器；FEMaLeCoP；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
摊销复杂性 8份文件引用(2015–2021) 软件作者： 托比亚斯·尼普科 相关软件： Isabelle/HOL；存档正式证据；HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
自动订阅 8份文件引用(2015–2024) 软件作者： S.Schäfer、T.Tebbi、G.Smolka 相关软件： Coq；github；流行标记… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
贝勒罗芬 8份文件引用(2017–2023) 软件作者： 富尔顿，内森；斯特凡·米奇；布兰登·伯勒；安德烈·普拉泽 相关软件： 凯伊迈拉X；凯伊迈拉；ModelPlex… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
嵌入模式 8份文件引用(2017–2023) 软件作者： Gleißner，托拜厄斯；亚历山大·斯蒂恩（Alexander Steen）；克里斯托夫·本兹穆勒 相关软件： MleanCoP；Nitpick公司；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
电动汽车 引用于6份文件(2001–2021) 软件作者： 拉尔斯-奥克·弗雷德隆德；迪利安·古罗夫；托马斯·诺尔；Mads大坝；托马斯艺术；根纳迪·楚格诺夫 相关软件： 埃尔朗；伊莎贝尔；Coq… 主要字段： 计算机科学（68-XX）
RGITL公司 8份文件引用（2014年至2022年） 软件作者： 格哈德·谢尔霍恩（Gerhard Schellhorn）；托凡、博格丹；吉登•恩斯特（Ernst，Gidon）；Pf“ahler，约尔格；Reif，沃尔夫冈 相关软件： 自旋蛋白；KIV；愚蠢… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
扎普 引用于6份文件(2005–2008) 软件作者： Thomas Ball、Shuvendu Lahiri和Madanlal Musuvathi 相关软件： ESC/Java；规范#；简单… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
组成 5份文件引用(2005–2010) 软件作者： Danicic，S。；福克斯，C。；哈曼，M。；Hierons，R。 相关软件： ASTREE公司；CSSV；TVLA… 主要字段： 计算机科学（68-XX）
FOL配件 7份文件引用(2014–2023) 软件作者： 斯特凡·贝尔霍弗；安德烈亚斯·哈尔克 相关软件： 存档正式证据；Isabelle/HOL；完备性定理… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
HOL90型 7份文件引用(1995–2017) 软件作者： 理论博物馆 相关软件： Coq；NQTHM；Nuprl… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
卡伦 7份文件引用(2008–2022) 软件作者： Daniel P.Friedman、William E.Byrd、Oleg Kiselyov 相关软件： miniKanren；自动化；AIspace… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
重新选择 引用于6份文件(2006–2018) 软件作者： 吉姆·格兰迪（Jim Grundy）；Tom Melham；约翰·奥利里 相关软件： Coq；毫升；Agda… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
鲁奥 引用于6份文件(1991–2014) 软件作者： Lusk，E.L.，McCune，W.，Slaney，J.K。 相关软件： SETHEO公司；水獭；水瓶座… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
塔克 7份文件引用(2007–2012) 软件作者： 大卫·巴尔德（David Baelde）；戴尔·米勒；斯诺，扎卡里 相关软件： 阿贝拉；贝德维尔；Twelf… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）