伊波特 930份文件引用(2005–2024) 软件作者： 安德烈亚斯·瓦希特（Andreas Waechter）、卡尔·莱尔德（Carl Laird） 相关软件： AMPL；SNOPT；CPLEX… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；吸血鬼；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
VAMPIRE公司 308份文件引用(1985–2023) 软件作者： 亚历山大·里亚扎诺夫；安德烈·沃伦科夫 相关软件： TPTP；E定理证明；SPASS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
并入PT_90 310份文件引用(1996–2023) 软件作者： R.Baker Kearfott先生 相关软件： 国际实验室；C-XSC；个人资料/偏见… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
梅斯4 250篇文献引用(1995–2024) 软件作者： 威廉·麦库恩 相关软件： 证明人9；水獭；TPTP… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
E定理证明器 229篇文献引用(2001–2023) 软件作者： 斯蒂芬·舒尔茨 相关软件： 吸血鬼；TPTP；SPASS… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
SPASS公司 204篇文献引用(1996–2023) 软件作者： C Weidenbach、U Brahm、T Hillenbrand 相关软件： 吸血鬼；TPTP；E定理证明… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
Yices公司 168篇文献引用(1992–2023) 软件作者： B.杜特雷；L.de Moura村 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
NLopt（NLopt） 151篇文献引用(2012–2024) 软件作者： S.G.约翰逊。 相关软件： github；R；BOBYQA… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-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）…
能量 130篇文献引用(2009–2024) 软件作者： 斯泽凯利，Gábor J。；玛丽亚·里佐。 相关软件： R；MVN；mvShapiroTest… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
SDPNAL公司+ 94份文件引用(2014–2024) 软件作者： 杨柳琴；孙德芬；杜金川 相关软件： SDPT3；塞杜米；QSDPNAL… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；统计学（62-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
TwoCop公司 69篇文献引用(2009–2023) 软件作者： 布鲁诺·雷米拉德；Jean-Francois植物 相关软件： copula；量化风险管理；连接词… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
FOCI公司 66份文件中引用(2004–2023) 软件作者： 兰吉特·贾拉（Ranjit Jhala）、肯尼思·麦克米兰（Kenneth L.McMillan） 相关软件： 公主；z3；CSIsat… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
马克斯利克 65篇文献引用（1978年-2023年） 软件作者： 阿恩·亨宁森；奥特·图梅特 相关软件： maxLik；R；CODA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
数学SAT 59篇文献引用(2005–2023) 软件作者： 罗伯特·布鲁托梅索、亚历山德罗·西马蒂、安德斯·弗兰森、阿尔贝托·格里乔、罗伯托·塞巴斯蒂亚尼 相关软件： z3；Yices；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
奥斯卡 63份文件引用(2008–2024) 软件作者： 霍华德·D·邦德尔。；布莱恩·雷奇（Brian J.Reich）。 相关软件： glmnet；卡萨诺瓦；PDCO… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CFSQP公司 57篇文献引用(1996–2020) 软件作者： 劳伦斯，C。；周杰伦；A.山雀 相关软件： SNOPT；CONOPT公司；禁忌搜索… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
梅蒂斯_ 58篇文献引用(1987–2023) 软件作者： Joe Leslie-Hurd；metis-users@gilith.com 相关软件： Isabelle/HOL；E定理证明；TPTP… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
玩具 56篇文献引用(2001–2022) 软件作者： F.J.López Fraguas，J.Sánchez Hernández 相关软件： 巴贝尔；哈斯克尔；PAKCS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TRICE公司 在48份文件中引用(1997–2022) 软件作者： 丹尼斯，J.E。；Heinkenschloss，Matthias；吕维森特{i} 秒N。 相关软件： 兰斯洛特；Ipopt；SNOPT… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
DeMat公司 29篇文献引用(2008–2023) 软件作者： Storn R、Price K、Neumaier A、Zandt JV 相关软件： 玉；CEC 05；ElemStatLearn… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
QSDPNAL公司 40篇文献引用(2016–2024) 软件作者： Li，X.D.，Sun，D.F.，Toh。K.-C.公司。 相关软件： SDPNAL+；QSDP；SDPT3… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CIL公司 33篇文献引用(2002–2022) 软件作者： Necula，G.C.，McPeak，S.，Rahul，S.P.，Weimer，W。 相关软件： 爆炸；CBMC；SLAM… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DICOPT公司 39篇文献引用(1997–2022) 软件作者： 伊格纳西奥·格罗斯曼 相关软件： 邦明；GAMS；Ipopt… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
息肉 33篇文献引用（1999年至2012年） 软件作者： Jansson，P。；J·杰林。 相关软件： 哈斯克尔；Stratego；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
达尔文 28篇文献引用(2005–2023) 软件作者： Peter Baumgartner、Alexander Fuchs、Hans de Nivelle、Cesare Tinelli 相关软件： E-Darvin；TPTP；iProver… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
FFSQP（f77） 26篇文献引用(1997–2021) 软件作者： 周杰伦；A.山雀 相关软件： FSQP；Matlab；MISER3… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
MatSol公司 25篇文献引用(2010–2020) 软件作者： 托马斯·布尔佐博哈特；亚历山大·马尔科普洛斯（Alexandros Markopoulos）；托马斯·科祖贝克 相关软件： 总FETI；TFETI；Matlab… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
UCLID公司 24篇文献引用(2002–2020) 软件作者： Randal E.Bryant；Shuvendu K.Lahiri；桑吉特·塞希亚 相关软件： 糠；PVS；MiniSat… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
泽农 21篇文献引用(2007–2022) 软件作者： 理查德·博尼肯（Richard Bonichon）；戴维·德拉哈耶（David Delahaye）；Damien Doligez 相关软件： Coq；TPTP；删除… 主要字段： 数学逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）
E-Darvin公司 23篇文献引用(2006–2023) 软件作者： 彼得·鲍姆加特纳（Peter Baumgartner）；比约恩·佩尔泽；蒂内利、塞萨尔；亚历山大·福克斯；汉斯·德尼维尔 相关软件： 达尔文；Mace4；TPTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TVAL3公司 23篇文献引用(2011–2022) 软件作者： 李成波；沃涛阴；尹章（音） 相关软件： TwIST；RecPF；NESTA… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
质量保证计划 20篇文献引用(1991–2016) 软件作者： 尼古拉斯·I.M.古尔德。；马桶，菲利普·L。 相关软件： MA57；SNOPT；qpOASES… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
阿拉巴马州 13份文件引用(2013–2023) 软件作者： 拉维·瓦拉丹；加博·格罗森迪克 相关软件： R；Rsolnp；lme4… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MUSCOD-II公司 19份文件引用(1998–2021) 软件作者： 海德堡大学；M.Diehl、D.B.Leineweber、A.A.S.Schäfer 相关软件： Ipopt；ADIFR；SOCS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
SQOPT公司 19份文件引用(2003–2023) 软件作者： P.E.Gill、W.Murray、M.A.Saunders 相关软件： SNOPT；CUTEst公司；qpOASES… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
立体agda 17篇文献引用(2020–2023) 软件作者： 安德烈亚·维佐西（Andrea Vezzosi）；莫特伯格，安德斯；安德烈亚斯·亚贝尔 相关软件： 立方体；github；Coq… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
地板 17篇文献引用(1992–2023) 软件作者： 韦登巴赫（Christoph Weidenbach）；伯恩德·盖德；乔治·洛克 相关软件： SPASS；水獭；TPTP… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
QL公司 16篇文献引用(1988–2020) 软件作者： K·希特科夫斯基 相关软件： NLPQLP；NLPQL；切割机… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
布利克塞姆 15篇文献引用（1999年至2012年） 软件作者： de Nivelle，H。 相关软件： SPASS；水獭；TPTP… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）
CSIsat公司 14篇文献引用(2009–2016) 软件作者： 德克·拜尔；达米安·祖弗里（Damien Zufferey）；鲁帕克·马朱姆达尔 相关软件： FOCI；公主；金刚狼… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
SAFD公司 15篇文献引用(2012–2022) 软件作者： Trutschnig，W。；Lubiano，医学硕士。；J·拉斯特拉。 相关软件： R；fclust；Juzzy… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
弗雷斯特 13份文件引用(2016–2023) 软件作者： 阿莱西亚·皮尼；西蒙·万提尼 相关软件： fda（R）；R；gprege… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Mx公司 13份文件引用(2000–2016) 软件作者： M C尼尔 相关软件： 利赛尔；R；Mplus… 主要字段： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
国家海洋局 14篇文献引用(1989–2013) 软件作者： Kiwiel，Krzysztof C。；安德烈·斯塔丘尔斯基 相关软件： CPLEX；LaGO；BARON… 主要字段： 变分法与最优控制；优化（49-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
优化数学卫星 14篇文献引用(2016–2023) 软件作者： 塞巴斯蒂亚尼，R.，特伦丁，P。 相关软件： vZ；z3；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
E-KRHper公司 11份文件引用(2007–2021) 软件作者： 比约恩·佩尔泽；Christoph Wernhard公司 相关软件： E定理证明；E-Darvin；萨奇莫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
备用CoLO 13份文件引用(2010–2022) 软件作者： K.Fujisawa、S.Kim、M.Kojima、Y.Okamoto、M.Yamashita 相关软件： 塞杜米；SDPT3；SDPLIB… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
BIEMS公司 11份文件引用(2014–2023) 软件作者： Mulder，J。；霍伊丁克，H。；德列乌，C。 相关软件： 贝叶斯DA；BOCOR；贝叶斯因子… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
卡西沃里 10篇文献引用(2005–2022) 软件作者： Greg J.Badros、Alan Borning、Peter J.Stuckey 相关软件： QOCA；HiRise；天蓝色… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
立方厘米 11份文件引用(1997–2023) 软件作者： 罗纳德·勋伯格（Ronald Schoenberg）；Aptech Systems公司。 相关软件： 高斯；R；robustbase… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
MDC-椭圆 12份文件引用(2010–2022) 软件作者： D.S.Lopes、M.T.Silva、J.A.Ambrósio、P.Flores 相关软件： 联系人；照明设备；ABAQUS… 主要字段： 测量和集成（28-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
立法官 7份文件引用（2010年-2023年） 软件作者： 约瑟夫·加斯特沃思（Joseph L.Gastwirth）；Yulia R.凝胶；华莱士·惠；苗伟文；野口敏弘 相关软件： R；WRS2；MVN… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
差异IRT 8份文件引用(2017–2023) 软件作者： 迪伦·莫勒纳尔（Dylan Molenaar）；弗朗西斯·图林克；汉·范德马斯 相关软件： 斯坦；贝叶斯DA；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
iProver-Eq型 10篇文献引用（2010年-2023年） 软件作者： Korovin、Konstantin；克里斯托夫·斯特克塞尔 相关软件： iProver；TPTP；达尔文… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
取消QL 10篇文献引用(2006–2018) 软件作者： 彼得·布内曼（Peter Buneman）、玛丽·费尔南德斯（Mary Fernandez）、丹·苏西乌（Dan Suciu） 相关软件： XPath；XQuery；X推出… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
Barcelogic工具 9份文件引用(2005–2009) 软件作者： 阿尔伯特·奥利弗拉斯；罗伯特·尼文胡斯 相关软件： SMT-LIB；z3；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
GeSCA公司 9份文件引用(2015–2020) 软件作者： Hwang、Heungsun；吉雄高根 相关软件： SmartPLS；XLStat；LVPLS… 主要字段： 历史与传记（01-XX）；统计学（62-XX）；数值分析（65-XX）…
动物园概率系统 9份文件引用(2015–2022) 软件作者： 约翰内斯·霍兹尔（Johannes Hölzl）、安德烈亚斯·洛赫比勒（Andreas Lochbihler）、德米特里·特雷特尔（Dmitriy Traytel） 相关软件： Isabelle/HOL；举起；传输… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
EVC公司 8份文件引用(2001–2012) 软件作者： 米罗斯拉夫·维列夫。；Randal E.布莱恩特。 相关软件： Velev SAT基准；糠；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
PyZX公司 6篇文献引用(2019–2023) 软件作者： 基辛格，Aleks；van de Wetering，约翰 相关软件： 奎珀；项目Q；症状… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
CLP（柔性） 7份文件引用(2007–2021) 软件作者： J.科埃略；M.弗洛里多 相关软件： 定理；Mathematica；验证日志… 主要字段： 数学逻辑与基础（03-XX）；特殊功能（33-XX）；计算机科学（68-XX）
HiRise公司 6篇文献引用(2000–2018) 软件作者： 细叶浩史 相关软件： QOCA；食火鸡；天蓝色… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
ic.infer公司 3份文件引用(2013–2021) 软件作者： 乌尔里克·格伦平 相关软件： R；glmc；四程序… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
圣乔治 7份文件引用(2018–2023) 软件作者： 贾诺什·维达利 相关软件： SageMath；Mathematica；GLPK… 主要字段： 组合数学（05-XX）；数论（11-XX）；结合环与代数（16-XX）…
SDPNAL公司 7份文件引用(2010–2022) 软件作者： Zhao、X.Y.、Sun、D.F.、Toh、K.C 相关软件： SDPNAL+；塞杜米；SDPT3… 主要字段： 场论与多项式（12-XX）；代数几何（14-XX）；变分法与最优控制；优化（49-XX）…
VMCWD公司 6篇文献引用(1986–2017) 软件作者： M.J.D.鲍威尔 相关软件： NLPQL；NPSOL；L-BFGS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
水瓶座 4份文件引用(1994–2004) 软件作者： 博纳西纳（Bonacina）、玛丽亚·保拉（Maria Paola）；Jieh乡 相关软件： 水獭；气象；帕塞农… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
BARD（酒吧） 6篇文献引用(2011–2022) 软件作者： 迈克尔·奥特曼（Micah Altman）、迈克尔·麦克唐纳（Michael P.McDonald） 相关软件： 公平处理；GerryChain；MIPLIB… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
fd寄宿 6篇文献引用(2016–2023) 软件作者： 阿莱西亚·皮尼；雄蕊，艾母；西蒙·万提尼 相关软件： fda（R）；fda试验；FITPACK… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；地球物理学（86-XX）
limSolve（极限解算） 5份文件引用(2011–2022) 软件作者： Karline Soetaert；卡雷尔·范登·密尔谢；迪克·范·奥夫伦 相关软件： R；VIM；匹配… 主要字段： 统计学（62-XX）；数值分析（65-XX）；经典热力学，传热（80-XX）…
英属维尔京群岛 5份文件引用（1995年至2019年） 软件作者： 斯塔克，P.B。；帕克，R.L。 相关软件： RUSBoost；MCS；TRON… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DGGLSE公司 5份文件引用(1999–2005) 软件作者： LAPACK公司 相关软件： LAPACK；范胡菲尔；MINOS公司 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
鸡蛋 4份文件引用(2021–2023) 软件作者： Max Willsey、Chandrakana Nandi、Yisu Remy Wang、Oliver Flatt、Zachary Tatlock、Pavel Panchekha 相关软件： CatLib；同意；Verigraph… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
FairShapley公司 5份文件引用(2017–2020) 软件作者： 克里斯蒂娜·威克；马雷克·菲舍尔 相关软件： PERL；生物钟；数学… 主要字段： 组合数学（05-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
FinFuns公司 5份文件引用(2009–2017) 软件作者： 安德烈亚斯·洛赫比勒 相关软件： Isabelle/HOL；伊莎贝尔；HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
检流计 5份文件引用(2009–2019) 软件作者： 席尔瓦，P.F。；J.N.奥利维拉。 相关软件： 菲亚特；维拉斯科；ASTREE… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
MIDACO公司 4份文件引用(2010–2022) 软件作者： MIDACO解算器 相关软件： Matlab；MINLPLib；BARON… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
摘要完整性 4份文件引用（2014年至2018年） 软件作者： 贾斯敏·克里斯蒂安·布兰切特；安德烈·波佩斯库；德米特里·特拉泰尔 相关软件： Isabelle/HOL；存档正式证据；FOL配件… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
贝恩 3份文件引用(2019) 软件作者： 新谷；赫伯特·霍伊丁克（Herbert Hoijtink）；Joris Mulder；Caspar J van Lissa；范·祖德特·卡米尔（Van Zundert Camiel）；杰夫·琼斯；尼尔斯·沃勒 相关软件： R；BIEMS；确认ANOVA… 主要字段： 统计学（62-XX）
布雷德拉布 3份文件引用(2015–2018) 软件作者： Jean-Luc Thiffeault、Marko Budisic 相关软件： plfit；阿尔法形状；线程池… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；粒子力学与系统（70-XX）…
CDFCOR公司 4份文件引用(1989–2003) 软件作者： E.H.考夫曼，Jr。；G.D.泰勒 相关软件： na21；LAPACK；兰斯洛特 主要字段： 近似和展开（41-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
HASP公司 4份文件引用(1992–2020) 软件作者： Chang，S.Frank；S.托马斯·麦考密克 相关软件： SCIP；MINOS；MIPLIB… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
高D2波普 4份文件引用(1998–2022) 软件作者： 卡尔·格里高利 相关软件： 高均值；gcrma；GSA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
NPPC公司 4份文件引用(2010–2016) 软件作者： 桑塔努·戈莱；侯赛因、谢赫·贾汉吉尔；阿尼尔班·穆克吉；普拉纳布·杜塔。 相关软件： TPMSVM；RSVM；SSVM… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PermonQP公司 4份文件引用(2015–2017) 软件作者： Hapla，V.等人。 相关软件： PermonFLLOP；PermonCube；PETSc… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；运筹学、数学规划（90-XX）
RDL公司 4份文件引用(2001–2005) 软件作者： 亚历山德罗·阿曼多；卢卡·孔帕尼亚（Luca Compagna）；西尔维奥·兰伊斯 相关软件： NQTHM；ACL2；剑桥LCF… 主要字段： 计算机科学（68-XX）
食腐动物 4份文件引用(2017–2021) 软件作者： 伊捷古洛夫，达尼亚尔；约翰·斯莱尼；布鲁诺沃尔岑洛格尔古 相关软件： E定理证明；水獭；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）