糠 559份文件引用(2001–2023) 软件作者： Moskewicz，M.、Madigan，C.、Zhao，Y.、Zhang，L.和Malik，S 相关软件： 迷你卫星；伯克敏；SATO… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
SPEA2公司 445份文件中引用(1983–2024) 软件作者： 斯特凡·布鲁勒；马可·劳曼斯（Marco Laumanns）；Lothar Thiele；埃卡特·齐兹勒 相关软件： MOEA/D；SMS-EMOA；PAES… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
UMFPACK公司 459份文件引用(1996–2024) 软件作者： 蒂莫西·戴维斯（Timothy A.Davis）。 相关软件： FreeFem++；PETSc；交易.ii… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
掌中宽带 258篇文献引用(2017–2024) 软件作者： O.Ronneberger。；菲舍尔，P。；布罗克斯，T。 相关软件： 亚当；ImageNet；AlexNet… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
隔离 237篇文献引用(1999–2024) 软件作者： Fabrice的Rouillier；保罗·齐默尔曼 相关软件： 克罗内克；FGb；枫树… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
格沃 186篇文献引用(2014–2024) 软件作者： 米尔贾利利，S。；米尔贾利利，S.M。；A.刘易斯。 相关软件： WOA；GSA；SSA… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SMOTE公司 150篇文献引用(2002–2023) 软件作者： N.V.Chawla、K.W.Bowyer、L.O.Hall、W.P.Kegelmeyer 相关软件： UCI-ml；C4.5；SMOTEBoost… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ILUT公司 180篇文献引用(1994–2023) 软件作者： 萨阿德 相关软件： 稀疏矩阵；稀疏基特；手臂… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
玉 129篇文献引用(2010–2024) 软件作者： 张杰，Sanderson AC 相关软件： CEC 05；ABC；CEC 13… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CMA-ES公司 122篇文献引用(2004–2024) 软件作者： 汉森 相关软件： CEC 05；EGO；MultiMin… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
雷亚尔 143篇文献引用(2010–2024) 软件作者： 拉斐尔·卢贝尔；皮尔雷·亨里·梅尔；米哈伊尔·沙什科夫；杰罗姆·布雷尔；圣埃芬·加莱拉 相关软件： HE-E1GODF；MOOD；RIEMANN… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
gSpan（量程） 91份文件引用（2003年至2022年） 软件作者： 严，X，韩，J。 相关软件： CloseGraph；PrefixSpan；铲刀… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
有限责任公司 79份文件引用(2006–2023) 软件作者： Lattner，C.，Adve，V。；伊利诺伊大学 相关软件： z3；朱莉娅；GitHub… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ELAN公司 106篇文献引用(1996–2020) 软件作者： 彼得·博罗万斯基（Peter Borovansky）、埃里克·德普拉涅（Eric Deplagne）、克劳德·基什内尔（Claude Kirchner）、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳（Pierre-Etienne Moreau）、克里斯托夫·林盖森（Christophe 相关软件： 莫德；OBJ咖啡馆；OBJ3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
DistAl公司 77份文件引用(1999–2023) 软件作者： 杨继勋；拉杰什·帕雷克；瓦桑特·霍纳瓦尔 相关软件： UCI-ml；C4.5；基因组学… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PAES公司 90篇文献引用(2001–2020) 软件作者： – 相关软件： SPEA2；MOEA/D；ParEGO… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
周六4j 86篇文献引用(2007–2023) 软件作者： 勒贝雷；帕兰 相关软件： QMaxSAT；迷你卫星；箔条… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
HSL-VF05型 87份文件引用(1999–2023) 软件作者： 尼古拉斯·I·M·古尔德。；露西迪，斯特凡诺；罗马，马西莫；马桶，菲利普·L。 相关软件： GQTPAR；切割机；LSTRS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
qpOASES公司 83份文件引用(2008–2023) 软件作者： H.J.Ferreau、C.Kirches、A.Potschka、H.G.Bock、M.Diehl 相关软件： fast_mpc；Ipopt；CVXGEN… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
运动类游戏 82份文件引用(2001–2023) 软件作者： Ernesto G.Birgin。；马丁内斯，何塞·马里奥；马科斯·雷丹 相关软件： 切割机；阿尔及利亚；兰斯洛… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
手臂 68篇文献引用(1996–2022) 软件作者： 萨阿德，Y。；苏霍梅尔，B。 相关软件： ILUT；稀疏矩阵；ILUM… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
LOCBIF公司 65篇文献引用(1992–2019) 软件作者： 亚历山大一世（Alexander I.Khibnik）。；尤里·库兹涅佐夫（Yuri A.Kuznetsov）。；维克多五世（Victor V.Levitin）。；尤金·尼古拉耶夫。 相关软件： 自动；DSTool；自动-86… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
嘉年华 60篇文献引用(2009–2023) 软件作者： 斯米尔诺夫公司。；斯米尔诺夫，V.A。；M.Tentyukov。 相关软件： 火灾；LiteRed；12月第二天… 主要字段： 代数几何（14-XX）；特殊功能（33-XX）；数值分析（65-XX）…
DnCNN公司 60篇文献引用(2017–2023) 软件作者： 张凯、左望猛、陈云锦、孟德宇、张磊 相关软件： FFD网络；亚当；ImageNet… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FDL3DI公司 59篇文献引用(2001–2024) 软件作者： 达塔五世（Datta V.Gaitonde）。；米格尔·维斯巴尔。 相关软件： XFOIL；磁粉检测；索拉… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
SLIQ公司 40篇文献引用(1997–2022) 软件作者： 曼尼什·梅塔；拉凯什·阿格拉瓦尔；乔玛·里萨宁 相关软件： 冲刺；C4.5；UCI-ml… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
康林 50篇文献引用(1988–2020) 软件作者： C.弗勒里 相关软件： 顶部.m；前88米；SCPIP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
RAMSES公司 45篇文献引用(2006–2023) 软件作者： R.Teyssier公司 相关软件： GADGET公司；涅槃；闪烁… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
克伦肖-库蒂斯 引用于47份文件(1972–2023) 软件作者： 先生们，W.Morven 相关软件： 切布冯；QUADPACK公司；DLMF… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；近似和展开（41-XX）…
贝叶斯逻辑 46篇文献引用(2013–2022) 软件作者： 尼古拉斯·波尔森（Nicholas G.Polson）。；詹姆斯·G·斯科特。；杰西·温德尔 相关软件： R；tsbridge；CODA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
野牛 45篇文献引用(1997–2023) 软件作者： Scholl，A.、Klein，R.、Jürgens，C。 相关软件： OR-库；CPLEX；背包… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
DFL公司 45篇文献引用(2012–2024) 软件作者： 刘齐，G。；Lucidi，S。；F.里纳尔迪。 相关软件： DFN；NOMAD公司；DFLBOX… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
PHAT公司 39篇文献引用(2014–2023) 软件作者： 乌尔里希·鲍尔；迈克尔·科伯（Michael Kerber）；简·雷宁豪斯（Jan Reininghaus）；休伯特·瓦格纳 相关软件： 古迪；酒神；开膛器… 主要字段： 组合数学（05-XX）；代数拓扑（55-XX）；流形和细胞复合体（57-XX）…
椰子 40篇文献引用(2003–2023) 软件作者： Hermann Schichl、COCONUT项目、Arnold Neumaier、Oleg Shcherbina、Eric Monfroy、Brice Pajot 相关软件： BARON公司；全球溶胶；AMPL… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
UCPOP公司 40篇文献引用(1993–2022) 软件作者： 彭伯蒂，J.S。；焊接，D。 相关软件： 图形平面图；神童；PDDL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
DICOPT公司 39篇文献引用(1997–2022) 软件作者： 伊格纳西奥·格罗斯曼 相关软件： 邦明；GAMS；Ipopt… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
魔法 39篇文献引用(2003–2020) 软件作者： 萨加尔·查基；埃德蒙·克拉克；Jha，萨默什；赫尔穆特·维思 相关软件： ComFoRT；班德拉；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
EasyLocal公司++ 32篇文献引用(2001–2022) 软件作者： Di Gaspero，L.，Schaerf，A 相关软件： 彗星；本地化人员；禁忌搜索… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
GADMM公司 37篇文献引用(2015–2023) 软件作者： 方，伊桑·X。；何炳胜；刘，韩；袁晓明 相关软件： UNLocBoX；PDCO；阿尔根卡… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；统计学（62-XX）…
不兼容3d 36篇文献引用(2009–2023) 软件作者： 莱泽，西尔万；李宁 相关软件： 2DECOMP；Xcompact3d；FFTW… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
网络电话 37篇文献引用(2019–2024) 软件作者： Housen Li、Johannes Schwab、Stephan Antholzer、Markus Haltmeier 相关软件： 深度广告序列正则化器；U-Net；亚当… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
图案猎人 29篇文献引用(2004–2020) 软件作者： Ma，B.，Tromp，J.，Li，M。 相关软件： 虾；BLAT；消音器… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；统计学（62-XX）…
海绵状的 35篇文献引用(2011–2024) 软件作者： Bogdanov，A.，Kneíević，M.，Leander，G.，Toz，D.，Varíc，K.，Verbauwhede，I。 相关软件： 出席；凯卡克；金利… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
普韦布洛 33篇文献引用（1998年至2021年） 软件作者： 侯赛因·M·希尼。；卡伦·萨卡拉。 相关软件： 迷你卫星；糠；周六… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
旋风 在30份文件中引用（2003年至2022年） 软件作者： 弗雷德里克·史密斯；Dan Grossman；格雷格·莫里塞特（Greg Morrisett）；卢克·霍诺夫（Luke Hornof）；吉姆·特雷弗 相关软件： 哈斯克尔；CCured公司；Coq… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
奥德赛 32篇文献引用(1996–2016) 软件作者： 罗斯坦，N.，达尔马斯，S.，加利戈，A 相关软件： ADIFR；TAMC；青少年C… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
快速解释 31份文件引用(2008–2022) 软件作者： 美国容克。 相关软件： 迷你卫星；PicoSAT；葡萄糖… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
内核-叶 31份文件引用(1989–2013) 软件作者： 埃利奥·乔瓦内蒂；乔治·列维；Corrado Moiso；帕拉米德斯猫 相关软件： 巴贝尔；玩具；咖喱… 主要字段： 计算机科学（68-XX）
公共管理硕士 在30份文件中引用(2020–2024) 软件作者： Faramarzi，A。；海德丽内贾德，M。；米尔贾利利，S。；A.H.甘多米。 相关软件： GWO；WOA；SSA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
超防（Hyperproof） 27篇文献引用（1994年至2022年） 软件作者： Jon Barwise、John Etchemendy 相关软件： Speedith；伊莎贝尔；嘟嘟博士… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
PDE工具 29篇文献引用(1995–2018) 软件作者： Cheb-Terrab，E.S。；冯·布洛，K。 相关软件： 枫树；伊斯兰教；SADE… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；微分几何（53-XX）…
PRISM-游戏 在30份文件中引用(2013–2022) 软件作者： 陈、陶璐；Forejt，Vojtěch；公司；玛尔塔·奎亚特科夫斯卡；大卫·帕克；西马提斯，艾斯蒂斯 相关软件： 棱镜；主旨；MCMAS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
BioProspector公司 21篇文献引用(2002–2013) 软件作者： Liu，X.、Brutlag，D.、Liu，J。 相关软件： TRANSFAC公司；贾斯帕；WebLogo… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
DACTL公司 28篇文献引用(1987–2015) 软件作者： John R.W.Glauert、Richard Kennaway、George A.Papadopoulos、Ronan Sleep 相关软件： 迭戈；进度；蒙斯特… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
MPAS海洋 29篇文献引用(2015–2023) 软件作者： Ringler，T.、Petersen，M.、Higdon，R.L.、Jacobsen，D.、Jones，P.W.、Maltrud，M。 相关软件： POP；冠军；Expokit… 主要字段： 偏微分方程（35-XX）；全局分析，流形分析（58-XX）；数值分析（65-XX）…
SNOBFIT公司 27篇文献引用(2009–2023) 软件作者： 阿诺德·纽梅尔 相关软件： MultiMin；EGO；MCS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
汤姆 24篇文献引用(2006–2023) 软件作者： 艾米莉·巴拉德；保罗·布劳纳；Radu Kopetz；Pierre-Etienne Moreau；安托万·雷尔斯 相关软件： Stratego；莫德；ASF+SDF… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
bv套件 28篇文献引用(2008–2022) 软件作者： G.Kitzhofer、O.Koch、G.Pulver、Ch.Simon、E.B.Weinmüller 相关软件： Matlab；雪崩；bvp4c… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
DIMSIM公司 27篇文献引用(1999–2023) 软件作者： 屠夫，J.C。；Chartier，P。；Jackiewicz，Z。 相关软件： MATLAB ODE套件；Matlab；代码23… 主要字段： 常微分方程（34-XX）；积分方程（45-XX）；数值分析（65-XX）…
工厂-mPLoc 26篇文献引用(2010–2019) 软件作者： 周，K.-C。；沈海波（Shen，H.-B.）。 相关软件： 细胞定位；Euk-mPLoc；iLoc-Euk… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ProbView（探测视图） 11份文件引用(2005–2018) 软件作者： Lakshmanan，V.S.、Leone，N.、Ross，R.和Subrahmanian，V.S。 相关软件： 三重奏；ProTDB；MYSTIQ… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
BiMD公司 26篇文献引用(2004–2022) 软件作者： L.Brugnano、C.Magerini 相关软件： 商业智能；LIMbook；RODAS… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
愤怒 24篇文献引用(2007–2023) 软件作者： 迈克尔·吉廷斯（Michael Gittings）；罗伯特·韦弗（Robert Weaver）；迈克尔·克洛弗；托马斯·贝特拉赫；尼尔森·伯恩；Robert Coker；Edward Dendy；Robert Hueckstaedt；新，Kim；Oakes，W.Rob；戴尔·兰塔；瑞安·斯特凡 相关软件： HLLE；闪光；卡斯特罗… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FELSOS公司 25篇文献引用(2005–2021) 软件作者： 斯莫连斯基A 相关软件： 前列素；SLIC；西姆利布… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
礼品 25篇文献引用(2017–2023) 软件作者： 巴尼克，Subhadeep；潘迪（Sumit Kumar Pandey）；托马斯·佩林（Thomas Peyrin）；Yu Sasaki；Sim、Siang Meng；Todo、Yosuke 相关软件： 出席；极瘦的；西蒙… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
洛拉 23篇文献引用(2009–2023) 软件作者： D’Angelo，B。；等人。 相关软件： 蒙保利；Java-MOP；LUSTRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
RRQR公司 22篇文献引用(1998–2022) 软件作者： 克里斯蒂安·比肖夫。；格雷戈里奥·金塔纳·奥尔蒂 相关软件： 汤姆斯/782；LAPACK；mctoolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
汤姆斯/782 22篇文献引用(1998–2022) 软件作者： 克里斯蒂安·比肖夫。；格雷戈里奥·金塔纳·奥尔蒂 相关软件： RRQR；LAPACK；mctoolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AMFlow公司 21篇文献引用(2022–2024) 软件作者： 小刘、马燕青 相关软件： LiteRed；差异支出；完成流… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
BliStr公司 22篇文献引用(2013–2023) 软件作者： J·厄本。 相关软件： E定理证明器；VAMPIRE公司；MaLARea… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；几何（51-XX）…
CRCP公司 22篇文献引用(1999–2023) 软件作者： 沃伊切赫·格拉博夫斯基；彼得罗·斯莫拉基维奇 相关软件： github；EquationFreeGit；NICAM… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
蜂蜜獾算法 22篇文献引用(2022–2024) 软件作者： Fatma A.Hashim。；埃萨姆·霍森。；侯赛因、卡希夫；Mabrouk，Mai S。；瓦利德·阿尔·阿塔巴尼 相关软件： WOA；SSA；GSA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
科塞雷格 21篇文献引用(2015–2023) 软件作者： M.E.Hochstenbach、Y.Park、L.Reichel、G.Rodriguez、X.Yu 相关软件： 正规化工具；转角.m；ErresTools… 主要字段： 数值分析（65-XX）；地球物理学（86-XX）；运筹学，数学规划（90-XX）…
NuMVC公司 引用于20份文件(2013–2023) 软件作者： 蔡少伟；苏凯乐；罗川；阿卜杜勒·萨塔尔 相关软件： CCLS；CCASat；irace… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
相思树+ 19份文件引用(2014–2023) 软件作者： Bohy，A.，Bruyère，V.，Filiot，E.，Jin，N.，Raskin，J.F。 相关软件： 不偏不倚；Strix公司；BoSy… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
铁 18篇文献引用(2006–2018) 软件作者： 泰杰·豪卡斯（Terje Haukaas）；亚美尼亚语（Armen Der Kiureghian） 相关软件： Matlab；UQLab；Allaire_Scilab… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
ISETL公司 9份文件引用(1989–2002) 软件作者： 埃德·杜宾斯基 相关软件： 间隙；Mathematica；枫树 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；群论与推广（20-XX）…
精彩 引用于20份文件(2019–2023) 软件作者： Ashur，T。；德胡厄，S。 相关软件： MiMC；波塞冬；低MC… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
MaxSolver（最大解算器） 19份文件引用(2005–2013) 软件作者： 赵星、张伟雄 相关软件： 糠；MiniMaxSat；迷你卫星… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
MCMAS-SLK公司 19份文件引用(2014–2021) 软件作者： 乔马克，P。；Lomuscio，A。；莫加维罗，F。；A.穆拉诺。 相关软件： MCMAS；摩卡；鹰… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
帕尔莫诺利思 引用于20份文件(2016–2023) 软件作者： 克劳斯，R。；祖莲（P.Zulian）。 相关软件： 乌托邦；libMesh；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
PLTMGC公司 引用于20份文件(1984–2023) 软件作者： 银行，Randolph E。；Tony F.陈。 相关软件： 失水事故；PLTMG；NewtonLib… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；算子理论（47-XX）…
E-SETHEO公司 18篇文献引用(1997–2021) 软件作者： 格诺·斯坦兹；安德烈亚斯·沃尔夫 相关软件： SETHEO公司；TPTP；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
天秤座 18篇文献引用（2018年-2023年） 软件作者： 布朗，诺姆；托马斯·桑德霍姆 相关软件： DeepStack；普里巴斯；AlphaZero… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
OPTIMAS公司 19份文件引用(1993–2021) 软件作者： 佩金，S。；爱泼斯坦，B。 相关软件： 基因组学；TensorFlow；Pluribus… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；流体力学（76-XX）…
佩特索2 19份文件引用(2005–2021) 软件作者： 亚历克斯·穆里略（Alex Murillo）；维拉，J.费尔南多；威廉·J·海瑟。 相关软件： 禁忌搜索；Tucker3-HICLAS；ez… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
瘦身 19份文件引用(2006–2018) 软件作者： 迈克尔·布里肯斯坦 相关软件： 单一；FGb；麦考利2… 主要字段： 交换代数（13-XX）；非结合环与代数（17-XX）；计算机科学（68-XX）…
备用PR 19份文件引用(2016–2022) 软件作者： 艾文，M。；Wang，Y。；维斯瓦纳坦，A。 相关软件： 相位提升；导缆器流量；GESPAR… 主要字段： 欧氏空间（42-XX）的调和分析；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
VICONOPT公司 19份文件引用(1993–2016) 软件作者： 理查德·巴特勒（Richard Butler）；刘文丽 相关软件： 熊猫；ABAQUS；CONMIN… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；运筹学，数学编程（90-XX）
C-AMS公司 18篇文献引用(2015–2023) 软件作者： Ţene，马泰；王一轩；哈吉贝吉，哈迪 相关软件： SGeMS；METIS公司；Matlab… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
梦想3D 16篇文献引用(2015–2023) 软件作者： Groeber文学硕士、Jackson文学硕士 相关软件： 达马斯克；MTEX；卡纳比… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
费马。米 18篇文献引用(2010–2024) 软件作者： 马修·海德里克（Matthew Headrick），阿里·纳赛尔（Ali Nassar） 相关软件： Mathematica；亚当；CYJAX… 主要字段： 代数几何（14-XX）；几个复变量与解析空间（32-XX）；微分几何（53-XX）…
CCASat卫星 17篇文献引用(2013–2023) 软件作者： 蔡少伟；苏凯乐 相关软件： CCLS；CCAnr；NuMVC… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；动力系统和遍历理论（37-XX）…
FSAIPACK公司 17篇文献引用(2015–2022) 软件作者： C.Janna、M.Ferronato、F.Sartoretto、G.Gambolia 相关软件： 稀疏矩阵；BFSAI-IC；ILUT… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ISTA-Net公司 17篇文献引用(2020–2024) 软件作者： 张健，伯纳德·加尼姆 相关软件： 亚当；DnCNN；PyTorch… 主要字段： 算子理论（47-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CFX-5型 16篇文献引用（2005年至2016年） 软件作者： 罗兰德·瓦什内尔（Roland Wüchner）；亚历山大·库普佐克（Alexander Kupzok）；凯乌·布莱辛格 相关软件： CARAT公司；ANSYS；FLUENT… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…