通用管理程序 299篇文献引用(1995–2024) 软件作者： 格兰伦德 相关软件： MPFR；NTL；PARI/GP… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
美国汽车协会 80篇文献引用(2017–2024) 软件作者： Yuji Nakatsukasa、Olivier Sète、Lloyd N.Trefethen 相关软件： RK工具箱；切布冯；Loewner… 主要字段： 复变量函数（30-XX）；偏微分方程（35-XX）；近似和展开（41-XX）…
tIGAr（美国通用汽车公司） 18篇文献引用(2019–2023) 软件作者： 大卫·卡门斯基（David Kamensky）；尤里·巴齐列夫斯 相关软件： 库达尔菲什；ShNAPr；FEniCS… 主要字段： 近似和展开（41-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
IML-整数矩阵库 18篇文献引用(2005–2023) 软件作者： Z.Chen；A.Storjohann；科里·弗莱彻 相关软件： LinBox；4ti2；PipLib… 主要字段： 数论（11-XX）；代数几何（14-XX）；数值分析（65-XX）…
QShopt-精确 18篇文献引用(2006–2022) 软件作者： David Applegate、William Cook、Sanjeeb Dash、Daniel Espinoza。 相关软件： QSopt_ex；gmp；SoPlex… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
CSIsat卫星 14篇文献引用(2009–2016) 软件作者： 德克·拜尔；达米安·祖弗里（Damien Zufferey）；鲁帕克·马朱姆达尔 相关软件： FOCI；公主；金刚狼… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
IIPBF公司 14篇文献引用(2014–2024) 软件作者： Ratnanather，J.Tilak；Kim，Jung H。；张思荣；Anthony M.J.Davis。；斯蒂芬·K·卢卡斯。 相关软件： Matlab；quadva；DLMF… 主要字段： 近似和展开（41-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
英国石油协会 10篇文献引用(2010–2023) 软件作者： 陈昌波、法南·曼苏里、马克·莫雷诺·马扎、谢宁、谢玉珍 相关软件： 岩浆；打火石；正则链… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
自然科学基金 11份文件引用（2021年-2023年） 软件作者： Conor Durkan、Artur Bekasov、Iain Murray、George Papamakarios 相关软件： nflows；辉光；亚当… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HypSeries系列 8份文件引用(2022–2023) 软件作者： Blümlein，J。；Saragnese，M。；施耐德，C。 相关软件： 求解局部LDE；SumProduction；Hypexp… 主要字段： 特殊功能（33-XX）；常微分方程（34-XX）；数值分析（65-XX）…
PLEX公司 8份文件引用(2008–2021) 软件作者： 文·德·席尔瓦；道恩·巴纳德；彼得·李；帕特里克·佩里 相关软件： javaPlex；CHomP；间隙… 主要字段： 代数拓扑（55-XX）；统计学（62-XX）；计算机科学（68-XX）…
溶剂部分LDE 8份文件引用(2022–2023) 软件作者： Blümlein，J。；Saragnese，M。；施耐德，C。 相关软件： HypSeries；SumProduction；Hypexp… 主要字段： 特殊功能（33-XX）；常微分方程（34-XX）；数值分析（65-XX）…
HOL90型 7份文件引用(1995–2017) 软件作者： 理论博物馆 相关软件： Coq；NQTHM；数字（amp；N）… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
节点py 6篇文献引用(2014–2022) 软件作者： 大卫·凯奇森 相关软件： Rk-opt；github；RODAS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）
胜利4 4份文件引用(2019–2023) 软件作者： Jennifer S.Balakrishnan。；弗朗西丝卡·比安奇；维多利亚州坎托拉尔-法南；米雷拉·切佩里亚尼；埃特罗波尔斯基，阿纳斯塔西娅 相关软件： 自同态；github；SageMath… 主要字段： 数论（11-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）
流量MC 在0个文档中引用 软件作者： Wong，Kaze W.K。；玛丽露·加布里；丹尼尔·马基领班 相关软件： SAS/IML；SciPy；JAX… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
MNiBLoS（移动互联网操作系统） 3份文件引用(2016–2023) 软件作者： 阿曼达·维达尔 相关软件： Fuzzydl；z3；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
米尔霍 2份文件引用(2020–2022) 软件作者： 德米特里·阿列克谢夫、卢卡斯·阿穆德鲁兹、谢尔盖·利特维诺夫、彼得罗斯·库穆塔科斯 相关软件： pybind11；muq；BCM… 主要字段： 统计学（62-XX）；流体力学（76-XX）；运筹学，数学编程（90-XX）…
RCIP公司 2份文件引用(1999–2006) 软件作者： 肖，F。；Yabe，T。；T·伊必崎。 相关软件： —— 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）