VAMPIRE公司 308份文件引用(1985–2023) 软件作者： 亚历山大·里亚扎诺夫；安德烈·沃龙科夫 相关软件： TPTP；E定理证明器；SPASS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
SeDuMi接口 44篇文献引用(2003–2023) 软件作者： Peaucelle，D.，Henrion，D.，Labit，Y.，Taitz，K。 相关软件： YALMIP；塞杜米；SDPT3… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
内核-叶 31份文件引用(1989–2013) 软件作者： 埃利奥·乔万内蒂；乔治·列维；Corrado Moiso；帕拉米德斯猫 相关软件： 巴贝尔；玩具；咖喱… 主要字段： 计算机科学（68-XX）
SQOPT公司 引用于19份文件(2003–2023) 软件作者： P.E.Gill、W.Murray、M.A.Saunders 相关软件： SNOPT；CUTEst公司；qpOASES… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
常规集合 在16份文件中引用(2011–2018) 软件作者： 亚历山大·克劳斯；托比亚斯·尼普科 相关软件： 存档正式证据；Isabelle/HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
QPOPT公司 17篇文献引用(1998–2019) 软件作者： P.E.吉尔；W.Murray；M.A.桑德斯 相关软件： qpOASES；QPSchur公司；LOQO… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
特雷斯内伊 15篇文献引用(2009–2022) 软件作者： 贝内代塔·莫里尼；玛格丽塔·波塞利 相关软件： STRSCNE公司；过滤器；levmar… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
维拉斯科 15篇文献引用(2016–2023) 软件作者： 雅克·亨利·朱丹（Jacques-Henri Jourdan）、文森特·拉波特（Vincent Laporte）、桑德琳·布拉齐（Sandrine Blazy）、泽维尔·勒罗伊（Xavier Leroy）、大卫·皮查迪（David Pichardie） 相关软件： Coq；工具链；z3… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；凸和离散几何（52-XX）…
纽顿KKTqp 12份文件引用(2006–2022) 软件作者： Absil，P.-A.公司。；安德烈·L·山雀 相关软件： 最小值；Matlab；Ipopt… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学编程（90-XX）…
Z3-街道 10篇文献引用(2015–2023) 软件作者： Zheng Y、Zhang X、Ganesh V 相关软件： S3；z3；通过… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
打开SMT2 7份文件引用(2016–2023) 软件作者： Hyvärinen，Antti E.J。；马泰奥·马雷斯科蒂；Alt，Leonardo；娜塔莎·莎莉吉娜 相关软件： 佩里普洛；eVolCheck；Yices… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
rcdd公司 7份文件引用(2009–2023) 软件作者： 查尔斯·盖尔（Charles J.Geyer）；格伦·D·米登 相关软件： cdd；R；MCAR测试… 主要字段： 凸和离散几何（52-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
运营商GB 6篇文献引用(2020–2023) 软件作者： 西里尔·切纳维尔；霍夫斯塔德勒，克莱门斯；克莱门斯·G·拉布。；乔治·雷根斯堡 相关软件： 信纸；交错.mpl；数学软件 主要字段： 交换代数（13-XX）；线性代数和多线性代数；矩阵理论（15-XX）；结合环与代数（16-XX）…
FLAGTOOL公司 5份文件引用(2000–2020) 软件作者： 吉尔·卡莱；彼得·克莱恩施密特（Peter Kleinschmidt）；Günter Meisinger 相关软件： 多晶的 主要字段： 几何（51-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
希律王 3份文件引用(2007–2020) 软件作者： Marta Cialdea Mayer、Serenella Cerrito 相关软件： 普拉提；斯巴达克斯；HTab… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
彼拉多 3份文件引用(2007–2020) 软件作者： Marta Cialdea Mayer、Serenella Cerrito 相关软件： 希律王；斯巴达克斯；HTab… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
数字解决方案 1份文件引用(2020) 软件作者： 梅尼尼，L。；波西耶里，C。；A.托纳姆贝。 相关软件： 隔离；PHCpack；数学… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
次一致性 1份文件引用(2018) 软件作者： 安德斯·施利奇特克鲁尔（Anders Schlichtkrull）；约根·维拉德森 相关软件： github；格栅；FOL_Harrison… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）