巴贝尔 72份文件引用(1988–2013) 软件作者： 马里奥·罗德里格斯-阿塔莱霍 相关软件： 内核LEAF；玩具；咖喱… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
阿贝拉 57篇文献引用(2008–2023) 软件作者： 安德鲁·加塞克 相关软件： Twelf公司；白鲸；Coq… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
防抱死制动系统 33篇文献引用(2012–2022) 软件作者： Johnsen，E.B.、Hähnle，R.、Schäfer，J.、Schlatte，R.和Steffen，M。 相关软件： JCobox；中美合作所；Erlang… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
DrScheme博士 27篇文献引用(1997–2016) 软件作者： 芬德勒，罗伯特·布鲁斯；约翰·克莱门茨；科马克·弗拉纳根；马修·弗拉特（Matthew Flatt）；克里希纳穆提（Krishnamurthi，Shriram）；Paul Steckler；马提亚斯·费莱森 相关软件： LISP；哈斯克尔；ACL2… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；数学教育（97-XX）
PLT兑换 25篇文献引用（2009年至2022年） 软件作者： 费莱森，马蒂亚斯；布鲁斯·芬德勒；马修·弗拉特 相关软件： Coq；K校准仪；哈斯克尔… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
PolyTOIL公司 19份文件引用（1997年-2014年） 软件作者： Bruce，K.，Schuett，A.，van Gent，R.，Fiech，A。 相关软件： 羽量级Java；埃菲尔；测试版… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
可控硅 10篇文献引用(2000–2018) 软件作者： 伊曼·布尔吉巴；贝莱德·莫阿 相关软件： 自旋蛋白；NuSMV；PVS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
InvX公司 10篇文献引用(1989–2013) 软件作者： H.科什内维桑；K.M.Sephton公司 相关软件： LRinv；VMTL；筑波… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
URSA公司 6篇文献引用(2012–2022) 软件作者： 贾尼奇，P。 相关软件： z3；卡环；MiniSat… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
幸运 4份文件引用(2017–2021) 软件作者： Lampropoulos，列奥尼达斯；戴安·加洛瓦·旺；Hriţcu，科特林；约翰·休斯；本杰明·皮尔斯（Benjamin C.Pierce）。；夏、李耀 相关软件： 快速检查；PVS；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
定时丽贝卡 3份文件引用(2016–2020) 软件作者： Khamespanah，E.，Sirjani，M.，Sabahi-Kaviani，Z.，Khosravi，R.，Izadi，M。 相关软件： 丽贝卡；Uppaal；旋转… 主要字段： 计算机科学（68-XX）
cddiff（cddiff） 1份文件引用（2018年） 软件作者： 沙哈尔·毛兹；简·奥利弗·林格特（Jan Oliver Ringert）；伯恩哈德·伦普 相关软件： MiniSat；WhyLine；Kodkod… 主要字段： 计算机科学（68-XX）
TRAM公司 2份文件引用(1997–2014) 软件作者： 绪方，Kazuhiro；Masaru Kondo；Ioroi，Shigenori；高基町五指 相关软件： OBJ咖啡馆；莫德；CITP… 主要字段： 计算机科学（68-XX）