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）…
MIM公司 137篇文献引用(1995–2024) 软件作者： 爱德华，大卫 相关软件： 玻璃；TETRAD公司；R、 … 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
玛蒂塔 78篇文献引用(2007–2024) 软件作者： 安德里亚·阿斯佩蒂；里奇奥蒂，威尔默；Sacerdoti Coen，Claudio；恩里科·塔西 相关软件： Coq；米扎尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
凯伊 55份文件引用(2000–2023) 软件作者： http://www.key-project.org/people.html 相关软件： JML；ESC/Java；卡拉卡拉… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
RRL公司 59篇文献引用(1985–2023) 软件作者： D.卡普尔；H.张 相关软件： 版次：；水獭；NQTHM… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；非结合环与代数（17-XX）…
NetKAT公司 33篇文献引用(2014–2023) 软件作者： Anderson，C.J.，Foster，N.，Guha，A.，Jeannin，J.-B.，Kozen，D.，Schlesinger，C.，Walker，D。 相关软件： 狂热；VeriFlow；食蚁兽… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；结合环和代数（16-XX）…
马亚 23篇文献引用(2002–2015) 软件作者： Dieter Hutter；谢尔盖·奥特西尔 相关软件： CASL；米扎尔；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
税收 15篇文献引用(2001–2017) 软件作者： 艾蒂安·克劳斯；米歇尔·波伊泽（Michel Poize）；雅克·普劳（Jacques Pulou）；约瑟夫·西法基斯；帕特里克·文特 相关软件： Uppaal；克罗诺斯；埃菲尔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
伊普森 20篇文献引用(1991–2010) 软件作者： 安迪·舒尔 相关软件： mctoolbox；LAPACK；PostgreSQL… 主要字段： 历史与传记（01-XX）；线性代数和多线性代数；矩阵理论（15-XX）；算子理论（47-XX）…
托斯卡纳J 17篇文献引用(2004–2011) 软件作者： 彼得·贝克尔（Peter Becker）；科雷亚，约阿希姆·赫雷斯 相关软件： 加利西亚；ConImp；JGraph… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
ArcAngel公司 14篇文献引用(2003–2023) 软件作者： 马塞尔·奥利维拉（Marcel Oliveira）；安娜·卡瓦尔坎蒂；吉姆·伍德科克 相关软件： 马戏团；Z；电源保护… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
UML2合金 6篇文献引用(2008–2015) 软件作者： Anastasakis，K.、Bordbar，B.、Georg，G.、Ray，I 相关软件： 霍尔效应；莫德；ATL… 主要字段： 计算机科学（68-XX）
校样通用套件 9份文件引用(2004–2012) 软件作者： 大卫·阿斯皮纳尔；吕斯，克里斯托夫；丹尼尔·温特斯坦 相关软件： 一般证明；Coq；OMDoc… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
壁画 10篇文献引用(1991–2014) 软件作者： C.B.琼斯。；K.D.琼斯。；Lindsay，P.A。；R.D.摩尔。 相关软件： RAISE（提升）；落叶松；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LOTOSphere公司 6篇文献引用(2000–2015) 软件作者： T.Bolognesi、J.van de Lagemaat、C.Vissers 相关软件： LOTOS；并发工作台；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MOFLON公司 1份文件引用(2006) 软件作者： Amelunxen，C.、Königs，A.、Rötschke，T.、Schürr 相关软件： 聚四氟乙烯；进度；AGG… 主要字段： 计算机科学（68-XX）
SCTL-MUS公司 5份文件引用(2001–2006) 软件作者： JoséJ.Pazos Arias。；加西亚·杜克（Jorge García Duque） 相关软件： PVS；SLAM；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
B4免费 3份文件引用(2006–2010) 软件作者： ClearSy公司 相关软件： ProB；团结；nauty… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
OMNITAB II公司 5份文件引用(1972–1984) 软件作者： Peavy、Sally T.、Bremer、Shirley G.、Varner、Ruth N.、Hogben和David 相关软件： SPSS软件；MINITAB公司；GLIM公司 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
SAAM II公司 4份文件引用(2000–2014) 软件作者： 巴雷特、P H R、贝尔、B M、科贝利、C、戈尔德、H、舒米茨基、A、维奇尼、P、福斯特、D M 相关软件： 蟒蛇；wxPython；Matplotlib… 主要字段： 生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
克罗恩·罗德斯 4份文件引用(2005–2011) 软件作者： 埃格里·纳吉，阿提拉；克里斯托弗·尼哈尼夫。 相关软件： 间隙；SgpDec公司 主要字段： 群论与推广（20-XX）；计算机科学（68-XX）
NAT2测试 4份文件引用(2016–2023) 软件作者： 卡瓦略G、巴罗斯F、卡瓦略A、卡瓦尔康蒂A、莫塔A、桑帕约A 相关软件： FDR3；Z；马戏团… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
OmegaThreads公司 3份文件引用(2021–2022) 软件作者： 哈立德，马哈茂德；马吉德·扎马尼 相关软件： p面；SCOTS；条纹… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
高斯 2份文件引用(2011–2018) 软件作者： 罗伯特·帕尔默；史蒂夫·巴鲁斯（Steve Barrus）；余阳；Ganesh Gopalakrishnan；罗伯特·M·柯比 相关软件： ISP；自旋蛋白；SLAM… 主要字段： 计算机科学（68-XX）
mbeddr公司 1份文件引用(2017) 软件作者： 马库斯·沃尔特、丹尼尔·拉蒂乌、伯恩哈德·沙伊茨、伯恩德·科尔布 相关软件： 旋风；休谟；Cedalion… 主要字段： 计算机科学（68-XX）
深海 1份文件引用(2021) 软件作者： Sjöberg，V.、Sang，Y.、Weng，S.c.、Shao，Z。 相关软件： solc-verify；版本X 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
ST-Lib型 1份文件引用(2019) 软件作者： J.Kapinski、X.Jin、J.Deshmukh、A.Donzé、T.Yamaguchi、H.Ito、T.Kaga、S.Kobuna、S.A.Seshia 相关软件： S-TaLiRo公司 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）