LMI工具箱 1494年文献引用(1995–2024) 软件作者： 数学作品；Gahinet，P。；内米洛夫斯基，A。；劳布，A.J。；M.奇拉利。 相关软件： Matlab；控制系统工具箱；YALMIP… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；运筹学，数学规划（90-XX）…
古罗比 1079份文件引用(2010–2024) 软件作者： 宗豪古；Ed Rothberg；鲍勃·比克斯比；Gurobi Optimization公司。 相关软件： CPLEX；SCIP；GitHub… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
AUTO（自动） 1016份文件引用(1981–2024) 软件作者： 多德尔、尤西比乌斯、阿兰·查普内斯、法比奥·德科尔、托马斯·费尔格雷夫、尤里·库兹涅佐夫、巴特·奥尔德曼、兰迪·帕芬罗斯、比约恩·桑德斯、王宪军和张成海 相关软件： AUTO-07P；HomCont；自动-86… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
Scikit公司 735份文件引用(2011–2024) 软件作者： 费比安·佩德雷戈萨；加尔·瓦罗佐；亚历山大·格兰福特；文森特·米歇尔；贝特朗·蒂里昂；奥利维尔·格里塞尔（Olivier Grisel）；马修·布隆德尔；彼得·普雷滕霍弗（Peter Prettenhofer）；罗恩·维斯（Ron Weiss）；文森特·杜伯格（Vincent Dubourg）；Jake Vanderplas；亚历山大·帕索斯；大卫·库纳波（David Cournapeau）；马蒂厄·布鲁彻；马蒂厄·佩罗（Matthieu Perrot）；爱德华·杜伊斯奈 相关软件： 蟒蛇；SciPy；TensorFlow… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
小背包 793文件引用（1979年至2024年） 软件作者： Garbow B、Hillstrom K、More J 相关软件： 切割机；L-BFGS；HYBRJ… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
HLLE公司 引用于772份文献(1983–2024) 软件作者： Harten，Amiram；Peter D.Lax。；范·利尔，布拉姆 相关软件： HE-E1GODF；澳大利亚统计局；RIEMANN… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
交易.ii 728份文件引用(1999–2024) 软件作者： Bangerth W、Hartman R、Kanschat G 相关软件： 特里利诺斯；PETSc；测试… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
PVS公司 617文件引用（1993年-2023年） 软件作者： Sam Owre、Natarajan Shankar、John Rushby 相关软件： 辅酶q；Isabelle/HOL；HOL… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
合卡尔曼滤波 523份文件引用(2003–2024) 软件作者： 埃文森，盖尔；P.萨科夫 相关软件： GSLIB；Matlab；PRMLT… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
UMDES公司 442份文件引用(1996–2023) 软件作者： 克里斯托斯·卡桑德拉斯（Christos G.Cassandras）；斯特凡·拉福琼 相关软件： Supremica；libFAUDES；TCT… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
DDE-BIFTOOL工具 366份文件引用(2000–2024) 软件作者： Engelborghs，K。；Luzianina，T。；鲁斯，D。 相关软件： Matlab；克努特；自动… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
麦克利埃塞 355篇文献引用(1981–2024) 软件作者： 斯特凡·海斯；阿米尔·莫拉迪；克里斯托夫·帕尔 相关软件： 自行车；NTRU；岩浆… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
NuSMV公司 281份文件引用(1999–2024) 软件作者： 亚历山德罗·西马蒂；埃德蒙·克拉克；福斯托·金西格里亚（Fausto Giunchiglia）；马可·罗维里（Marco Roveri）；Roberto Cavada、Michele Dorigatti、Alessandro Mariotti、Andrea Micheli、Sergio Mover、Marco Roveri、Andrei Tchaltsev 相关软件： 自旋蛋白；CUDD；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ABAQUS/标准 304份文件引用(1995–2024) 软件作者： 达索系统 相关软件： 阿巴夸斯；UMAT；Matlab… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
高铁 302文件引用(1975–2023) 软件作者： 卢瑟福阿普尔顿实验室数值分析小组和其他专家 相关软件： 稀疏矩阵；Ipopt；MA57… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
阿达格拉德 285份文件引用(2011–2024) 软件作者： 约翰·杜奇（John Duchi）；哈赞，埃拉德；歌手，约拉姆 相关软件： 亚当；RMSprop；阿达德尔塔… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
IFISS公司 286份文件引用(2003–2024) 软件作者： H.Elman、A.Ramage、D.Silvester 相关软件： Matlab；HSL_MI20；AGMG… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）…
伯特 180篇文献引用(2019–2024) 软件作者： 雅各布·德夫林、张明伟、肯顿·李、克里斯蒂娜·图塔诺娃 相关软件： Tensor2传感器；亚当；RoBERTa… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
费雷特 147篇文献引用(2001–2023) 软件作者： 乔纳森·菲利普斯、哈里·韦克斯勒、杰弗里·黄、帕特里克·劳斯 相关软件： AR面；CMU PIE；耶鲁脸… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
SMT-LIB公司 引用于222份文件(2004–2024) 软件作者： 克拉克·巴雷特；莱昂纳多·德·莫拉；西尔维奥·兰伊斯；阿伦·斯塔姆（Aaron Stump）；塞萨尔·蒂内利 相关软件： z3；CVC4；Yices… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
针织衫 219篇文献引用(2003–2024) 软件作者： 青蒿；Ziena Optimization，R.Byrd，J.Nocedal，R.Waltz 相关软件： Ipopt；SNOPT；AMPL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
弦 89份文件引用(2003–2023) 软件作者： Stoica，I.、Morris，R.、Karger，D.、Kaashoek，M.F.、Balakrishnan，H 相关软件： 糕点；巴顿；Globus工具包… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
JuMP公司 194份文件引用(2017–2024) 软件作者： I.Dunning、J.Huchette、M.Lubin 相关软件： 朱莉娅；古罗比；GitHub… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
预测 161份文件引用(2006–2024) 软件作者： Rob J Hyndman；斯拉瓦·拉兹巴什；德鲁·施密特 相关软件： 预测；R；expsmooth；…（扩展平滑；…）… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
系统标识工具箱 189份文件引用(1990–2023) 软件作者： Thomas B Schön；艾德里安·威尔斯（Adrian Wills）；Brett Ninness；伦纳特·荣格 相关软件： Matlab；船长；Wiener-Hammerstein基准… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
联合 183份文件引用(1988–2021) 软件作者： K.Mani Chandy；贾亚德夫·米斯拉 相关软件： NQTHM；PVS；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SOCS系统 180篇文献引用(1999–2024) 软件作者： 波音公司；Betts，J.T。；W.P.哈夫曼 相关软件： Ipopt；GPOPS；SNOPT… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
套管，套管 174篇文献引用(1999–2023) 软件作者： 蒂尔·莫萨科夫斯基 相关软件： OBJ咖啡馆；赫茨；莫德… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
OBJ咖啡馆 167篇文献引用(1997–2023) 软件作者： 森喜朗（Akira Mori）；高基町五指 相关软件： 莫德；OBJ3；CASL… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；代数几何（14-XX）…
高尔夫 158份文件引用(1996–2024) 软件作者： 赫克托·J·列夫斯克（Hector J.Levesque）。；雷蒙德·雷特（Raymond Reiter）；Lespérance，伊夫斯；林方珍；理查德·谢尔（Richard B.Scherl）。 相关软件： 康果洛；AgentSpeak；METATEM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
控制系统工具箱 引用于166份文件(1995–2024) 软件作者： MathWorks公司；格雷斯，A。；Laub，A.J。；Little，J.N。；汤普森，C.M。 相关软件： Matlab；LMI工具箱；鲁棒控制工具箱… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；变分法与最优控制；优化（49-XX）…
酯类 137篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
马诺普特 163篇文献引用(2013–2024) 软件作者： 尼古拉·鲍马尔（Nicolas Boumal）；Bamdev Mishra；P.-A.Absil；鲁道夫·塞普尔赫里 相关软件： RTRMC；皮曼诺普；ROPTLIB… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
MPI/MPICH公司 143篇文献引用(1996–2024) 软件作者： 比尔·格罗普；锈迹斑斑；托尼·斯卡勒姆（Tony Skjellum）；内森·多斯；休贝图斯·弗兰克；Ed Karrels；帕特里克·布里奇斯 相关软件： LAM-MPI；MPI；PVM… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
PASCAL挥发性有机化合物 99篇文献引用(2010–2023) 软件作者： Everingham，M.、Eslami，S.M.A.、Van Gool，L.、Williams，C.K.I.、Winn，J.、Zisserman，A 相关软件： SIFT；ImageNet；MS-COCO… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
PYTHIA8公司 154份文件引用(2006–2023) 软件作者： T.Sjöstrand、S.Mrenna、P.Z.Skands 相关软件： MadGraph；赫维格++；FastJet… 主要字段： 数值分析（65-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）…
伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
内斯塔 146篇文献引用(2010–2023) 软件作者： 斯蒂芬·贝克尔（Stephen Becker）；杰罗姆·博宾（Jerome Bobin）；伊曼纽尔·坎迪斯。 相关软件： PDCO；SPGL1；TFOCS… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
MONA公司 142篇文献引用(1995–2023) 软件作者： 克拉伦德，尼尔斯；莫勒，安德斯；迈克尔·施瓦茨巴赫（Michael I.Schwartzbach）。；J·埃尔加德。 相关软件： z3；DCVALID；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
预测 136篇文献引用(2010–2024) 软件作者： Rob J Hyndman；乔治·阿萨纳索普洛斯（George Athanasopoulos）、斯拉瓦·拉兹巴什（Slava Razbash）、德鲁·施密特（Drew Schmidt 相关软件： 预测；R；expsmooth；…（扩展平滑；…）… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
打开CV 69篇文献引用(2008–2023) 软件作者： G.布拉德斯基 相关软件： 蟒蛇；数字Py；科学… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；生物学和其他自然科学（92-XX）…
工作分解结构 137篇文献引用(2013–2024) 软件作者： 彼得·弗里兹莱维奇 相关软件： R；FDRSeg；变更点… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
节点2vec 131篇文献引用(2017–2024) 软件作者： 阿迪蒂亚·格罗弗（Aditya Grover），朱尔·莱斯科维奇（Jure Leskovec） 相关软件： DeepWalk；线路；单词2vec… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
Flyspeck飞点 133篇文献引用(2004–2024) 软件作者： 托马斯·黑尔斯（Thomas C.Hales）。；Tankink，Carst公司；卡利西克，Cezary；约瑟夫·乌尔班（Josef Urban）；赫尔曼·格乌弗斯 相关软件： HOL灯；Isabelle/HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
Modelica公司 120篇文献引用(2000–2024) 软件作者： 耶布拉，L.J。；贝伦格尔，M。；多尔米多，S。；E.扎扎。 相关软件： Dymola；Matlab；OpenModelica… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MIPLIB2003公司 130篇文献引用(2005–2023) 软件作者： 亚历山大·马丁；托比亚斯·阿切特贝格（Tobias Achterberg）；托尔斯滕·科赫：杰拉尔德·加姆拉斯 相关软件： MIPLIB公司；SCIP；CPLEX… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
安提戈内 127篇文献引用(2014–2023) 软件作者： 露丝·米塞纳；弗卢达斯，克里斯托杜洛斯A。 相关软件： SCIP；BARON公司；Ipopt… 主要字段： 变分法与最优控制；优化（49-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
Java PathFinder 96篇文献引用(2000–2023) 软件作者： 克劳斯·哈维隆德；托马斯·普雷斯伯格 相关软件： 自旋蛋白；班德拉；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
卢斯特 104篇文献引用(1992–2023) 软件作者： 卡斯皮，P。；Pilaud，D。；Halbwachs，N。；普拉斯，J.A。 相关软件： 酯类；信号；Simulink… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
更快的R-CNN 103篇文献引用(2017–2024) 软件作者： 任少清、何开明、罗斯·吉希克、孙健 相关软件： ImageNet；AlexNet；SSD… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
x行动 121篇文献引用(2008–2024) 软件作者： 何塞·马丁·加西亚 相关软件： xTras；xPerm；xPert… 主要字段： 微分几何（53-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
BEMECH公司 123篇文献引用(2002–2024) 软件作者： 高晓伟；特雷弗·G·戴维斯。 相关软件： RIM_DOM公司。F90；GeoPDE；BDEM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
PHAVer公司 119篇文献引用(2005–2024) 软件作者： 戈兰·弗雷斯 相关软件： 高科技；SpaceEx；RSOLVER… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
车灯 100篇文献引用(1995–2024) 软件作者： 史蒂夫·普林普顿 相关软件： Gromacs公司；蟒蛇；OVITO… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
表情符号 105篇文献引用（2007年至2024年） 软件作者： 尼古拉·比姆（Nicola Beume）；鲍里斯·纳约克斯（Boris Naujoks）；迈克尔·埃默里奇 相关软件： MOEA/D；SPEA2；HypE… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
扣环 104篇文献引用(2007–2022) 软件作者： 马丁·格布瑟（Martin Gebser）、本杰明·考夫曼（Benjamin Kaufmann）、安德烈·诺依曼（AndréNeumann）、托尔斯滕·绍布（Torsten Schaub） 相关软件： 格林戈；克林戈；WASP… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
Mu分析与合成工具箱 109篇文献引用(1993–2021) 软件作者： 数学作品；加里·巴拉斯（Gary J.Balas）、约翰·多伊尔（John C.Doyle）、基斯·格洛弗（Keith Glover）、安迪·帕卡德（Andy Packard）、罗伊·史密斯（Roy Smith） 相关软件： 鲁棒控制工具箱；LMI工具箱；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；变形固体力学（74-XX）…
卡萨迪 102份文件引用(2012–2024) 软件作者： Joel Andersson；约翰·奥凯森；莫里茨·迪尔 相关软件： Ipopt；Matlab；HSL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
近地天体 98篇文献引用(1997–2023) 软件作者： 约瑟夫·齐兹克（Joseph Czyzyk）；迈克尔·梅斯尼尔（Michael P.Mesnier）；豪尔赫·莫雷 相关软件： AMPL；GAMS；CPLEX… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
BKZ公司 100篇文献引用(2011–2023) 软件作者： 陈元美；阮凤琴。 相关软件： GitHub；NTRU；fpLLL… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
TOMLAB公司 102份文件引用(1999–2024) 软件作者： 霍姆斯特罗姆，K.，戈兰，A.O.，埃德瓦尔，M.M。 相关软件： OPERA；NLPLIB；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
UMAT公司 102份文件引用(1996–2024) 软件作者： 阿巴库斯 相关软件： 阿巴夸斯；ABAQUS/标准；ABAQUS/显式… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；微分几何（53-XX）；数值分析（65-XX）…
ILOG时间表 88篇文献引用(1996–2023) 软件作者： C·勒帕佩 相关软件： CPLEX；炸薯条；JOBSHOP… 主要字段： 一般代数系统（08-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
Gecode公司 85篇文献引用(2007–2023) 软件作者： 克里斯蒂安·舒尔特（Christian Schulte），KTH皇家理工学院 相关软件： 微量锌；CPLEX；Choco… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Dynare公司 89份文件引用(1997–2023) 软件作者： 塞普雷玛；米歇尔·朱亚拉德 相关软件： Gensys公司；Uhlig工具包；OccBin… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）…
MCMAS公司 86篇文献引用(2006–2023) 软件作者： 阿莱西奥·洛穆西奥（Alessio Lomuscio）、洪阳区（Hongyang Qu）、弗兰科·雷蒙迪（Franco Raimondi） 相关软件： MCK；摩卡；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
阿维斯帕 82份文件引用(2005–2023) 软件作者： 信息社会技术方案下的欧洲共同体（1998-2002） 相关软件： 卡斯珀；ProVerify；OFMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
算法919 86篇文献引用(2011–2024) 软件作者： 季泽·尼森；威尔·M·赖特 相关软件： 菲姆；Expokit公司；KIOPS… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
MS-COCO公司 63份文件引用(2018–2024) 软件作者： 林宗毅、迈克尔·梅尔、谢尔盖·贝隆吉、卢博米尔·波德夫、罗斯·吉希克、詹姆斯·海斯、彼得罗·佩罗纳、德瓦·拉马南、C.劳伦斯·齐特尼克、彼得罗尔·多拉 相关软件： ImageNet；PASCAL挥发性有机化合物；更快的R-CNN… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
数学SAT5 80篇文献引用(2013–2023) 软件作者： 亚历山德罗·西马蒂；阿尔贝托·格里乔；沙夫斯马，巴斯蒂安·乔斯特；罗伯托·塞巴斯蒂亚尼 相关软件： z3；CVC4；Yices… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
托勒密 66份文件引用(1995–2022) 软件作者： Johan Eker、Jörn W.Janneck、Edward A.Lee、Jie Liu、Xiaojun Liu、Jozsef Ludvig、Stephen Neuendorffer、Sonia Sachs、Yuhong Xiong 相关软件： 大都市；卢斯特；状态流… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ACADO公司 76篇文献引用(2010–2024) 软件作者： 鲍里斯·胡斯卡；汉斯·约阿希姆·费罗；莫里茨·迪尔 相关软件： Ipopt；qpOASES；CasADi… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
CCalc公司 77份文件引用(2003–2023) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；Lee，Joohyung；弗拉基米尔·利夫希茨；麦凯恩，诺曼；哈德森·特纳 相关软件： 平滑；考拉；高尔夫… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
HOGWILD公司 79份文件引用(2012–2024) 软件作者： Feng Niu、Benjamin Recht、Christopher Re、Stephen J.Wright 相关软件： ARock；传奇；AdaGrad… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
ABAQUS/显式 78篇文献引用(1997–2022) 软件作者： 达索系统 相关软件： 阿巴夸斯；ABAQUS/标准；UMAT… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
库恩 80篇文献引用(2009–2023) 软件作者： 彼得罗·贝洛蒂；Jon Lee；利贝蒂（Leo Liberti）；弗朗索瓦·马戈；安德烈亚斯·瓦赫特 相关软件： BARON公司；CPLEX；Bonmin… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PointNet（点网） 68篇文献引用(2018–2024) 软件作者： Charles R.Qi、Hao Su、Kaichun Mo、Leonidas J.Guibas 相关软件： 亚当；ImageNet；OctNet… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）…
SsfPack（SsfPack） 69篇文献引用(1999–2024) 软件作者： 科普曼，暹粒；谢泼德，尼尔；尤尔根·杜尔尼克。 相关软件： 公牛；印章；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
FPC_AS公司 77份文件引用(2010–2023) 软件作者： 温再文、尹沃涛 相关软件： PDCO；SPGL1；TwIST… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
利姆代普 69篇文献引用(1984–2020) 软件作者： 经济计量软件公司 相关软件： Stata公司；R；Excel… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MRMC公司 71篇文献引用(2006–2023) 软件作者： Joost-Pieter Katoen；亚琛工业大学 相关软件： 棱镜；Uppaal；CADP… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
闪存 66份文件引用(2001–2023) 软件作者： B.Fryxell、K.Olson、P.Ricker、F.X.Timmes、M.Zingale、D.Q.Lamb、P.Macneice、R.Rosner、J.W.Rosner、J W.Truran、H.Tufo 相关软件： 帕拉梅什；HE-E1GODF；HLLE… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
iProver（iProver） 67篇文献引用(2008–2023) 软件作者： 康斯坦丁·科洛文 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
NSF网络 70篇文献引用(2020–2024) 软件作者： 金晓伟、蔡盛泽、李慧、乔治·埃姆·卡尼亚达克斯 相关软件： 亚当；DiffSharp；hp-VPINN… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Quaffle餐厅 64篇文献引用(2003–2023) 软件作者： L.Zhang；S.Malik；普林斯顿大学SAT研究小组；Yinlei余 相关软件： 糠；DepQBF；QUBOS… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
里帕克 67篇文献引用(1987–2023) 软件作者： W.F.Arnold；艾伦·J·劳布 相关软件： 算法432；Matlab；LAPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；算子理论（47-XX）；变分法与最优控制；优化（49-XX）…
深度实验室 62篇文献引用(2018–2024) 软件作者： Liang-Chieh Chen、George Papandreou、Iasonas Kokkinos、Kevin Murphy、Alan L.Yuille 相关软件： ImageNet；U-Net；SegNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FOCI公司 66份文件引用(2004–2023) 软件作者： 兰吉特·贾拉（Ranjit Jhala）、肯尼思·麦克米兰（Kenneth L.McMillan） 相关软件： 公主；z3；CSIsat… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
毫秒 45篇文献引用(2010–2023) 软件作者： 克里斯托弗·杰克逊 相关软件： R；mstate；生存… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
乌兹拉布 59篇文献引用(2016–2024) 软件作者： Lataniotis C、Marelli S、Sudret B 相关软件： AK-MCS；蟒蛇；达科塔… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
AntNet公司 在48份文件中引用(1998–2015) 软件作者： Di Caro，G。；M.多里戈。 相关软件： AntHocNet；MACS-VRPTW；HAS-停止… 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PT-Scotch公司 59篇文献引用(2010–2023) 软件作者： C.骑士；F.佩莱格里尼 相关软件： 帕梅蒂斯；PETSc；梅蒂斯… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
数学SAT 59篇文献引用(2005–2023) 软件作者： 罗伯特·布鲁托梅索、亚历山德罗·西马蒂、安德斯·弗兰森、阿尔贝托·格里乔、罗伯托·塞巴斯蒂亚尼 相关软件： z3；Yices；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
CPA检查器 45篇文献引用(2011–2023) 软件作者： 德克·拜尔、斯特凡·洛韦、菲利普·温德勒 相关软件： 爆破；CBMC；SLAM… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
多重嵌套 53篇文献引用(2006–2023) 软件作者： Feroz，F.，Hobson，M.P.，Bridges，M 相关软件： 多毛类；巨蟒山；痛苦… 主要字段： 统计学（62-XX）；数值分析（65-XX）；量子理论（81-XX）…
雅高 52篇文献引用(2009–2023) 软件作者： J.Hoffart、F.Suchanek、K.Berberich、G.Weikum、G.Kasneci 相关软件： DBpedia；自由基；WordNet… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
标准操作手册 39篇文献引用(2001–2022) 软件作者： Esa Alhoniemi、Johan Himberg、Juha Parhankangas、Juha Vesanto 相关软件： Matlab；kohonen；LIBSVM… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；流体力学（76-XX）…
TOUGH（艰难） 58篇文献引用(1997–2023) 软件作者： K.Pruess、C.Oldenburg、G.Moridis、Finsterle、S 相关软件： PFLOTRAN；杜穆克斯；iTOUGH2… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…