组织环境信息系统 5349份文件引用(1973–2025) 软件作者： 尼尔·J·A·斯隆。；OEIS基金会。 相关软件： SageMath；Mathematica；间隙… 主要字段： 组合数学（05-XX）；数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
UCI-毫升 3034文件引用（1995年至2024年） 软件作者： David Aha、Patrick Murphy、Christopher Merz、Eamonn Keogh、Cathy Blake、Seth Hettich、David Newman 相关软件： C4.5；LIBSVM；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DLMF公司 3806文件引用(2000–2024) 软件作者： 丹尼尔·洛泽尔（Daniel W.Lozier）。 相关软件： Mathematica；Matlab；OEIS… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）…
fda（右） 1806年文献引用(1997–2024) 软件作者： J.O.Ramsay、Hadley Wickham、Spencer Graves、Giles Hooker 相关软件： R；半标准杆；ElemStatLearn… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
VRP公司 1257年文献引用（1981年至2024年） 软件作者： NEO：网络化和新兴优化 相关软件： CVRPSP；CPLEX；禁忌搜索… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
L-BFGS公司 987年文献引用（1981年至2024年） 软件作者： 朱慈友；理查德·伯德。；吕培煌；豪尔赫·诺塞达尔 相关软件： L-BFGS-B；LBFGS-B；切割机… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
小背包 793文件引用(1979–2024) 软件作者： Garbow B、Hillstrom K、More J 相关软件： 切割机；L-BFGS；HYBRJ… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
Uppaal公司 引用于568份文件(1990–2023) 软件作者： 瑞典乌普萨拉大学；丹麦奥尔堡大学 相关软件： 克罗诺斯；高科技；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
凯利 664份文件引用（1995年至2024年） 软件作者： C.T.凯利。 相关软件： 最小包装；L-BFGS；Matlab… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
SCIP公司 650份文件引用(2005–2024) 软件作者： 特里斯坦·加里、杰拉尔德·加姆拉斯、帕特里克·杰曼德、安布罗斯·格莱克斯纳、罗伯特·戈特瓦尔德、格雷戈·亨德尔、克里斯托弗·霍尼、斯蒂芬·马赫、马蒂亚斯·米尔滕贝格、本杰明·米勒、马克·普费茨、弗兰齐斯卡·舍勒、菲利佩·塞拉诺、斯特凡·维格斯克、迪特尔·温格、雅各布·维齐格 相关软件： CPLEX；MIPLIB公司；古罗比… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
CRAN（起重机） 429份文件引用(2002–2024) 软件作者： cran.r-project.org网站/ 相关软件： R；ggplot2；接收… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DIMACS公司 603文件引用(1993–2024) 软件作者： 约翰逊，D.S。；诡计，M。 相关软件： 禁忌搜索；SATO；查夫… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
磁粉探伤 490份文件引用(1990–2024) 软件作者： 杰弗里·菲克（Jeffrey A.Fike）。；胡安·阿隆索。 相关软件： LAPACK；CUDA；PETSc… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
LBFGS-B型 521份文件引用(1994–2024) 软件作者： 朱慈友；理查德·伯德。；吕培煌；豪尔赫·诺塞达尔 相关软件： L-BFGS；L-BFGS-B；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TETRAD公司 484份文件引用(1993–2024) 软件作者： 克拉克·格雷摩尔（Clark Glymour）；理查德·谢恩斯（Richard Scheines）；彼得·斯皮特斯；约瑟夫·拉姆齐 相关软件： pcalg；R；bn学习… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
ggplot2 289份文件引用(2006–2024) 软件作者： 哈德利·威克姆 相关软件： R；dplyr；闪闪发光… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
CGAL公司 423份文件引用(2000–2024) 软件作者： CGAL编辑委员会 相关软件： LEDA；二维三角剖分；三角形… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TPTP公司 419份文件引用(1994–2023) 软件作者： Geoff Sutcliffe；克里斯蒂安·萨特纳 相关软件： 吸血鬼；E定理证明器；SPASS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
抱怨 422篇文献引用(1976–2023) 软件作者： 数值算法组 相关软件： 抱怨；Matlab；LAPACK… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
XPath（XPath） 205篇文献引用(2002–2023) 软件作者： w3.org网站 相关软件： XQuery；X标记；Oracle… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
bvp4c 361份文件引用(2001–2024) 软件作者： 数学作业 相关软件： Matlab；MATLAB ODE套件；ode45… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
斯普林达 340份文件引用(1998–2024) 软件作者： 威廉·Q·米克。；路易斯·埃斯科瓦尔。 相关软件： R；引导；贝叶斯DA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
NuSMV公司 281份文件引用(1999–2024) 软件作者： 亚历山德罗·西马蒂；埃德蒙·克拉克；福斯托·金西格里亚（Fausto Giunchiglia）；马可·罗维里（Marco Roveri）；罗伯特·卡瓦达（Roberto Cavada）、米歇尔·多里加蒂（Michele Dorigatti）、亚历山德罗·马里奥蒂（Alessandro Mariotti），安德烈亚·米切利（Andrea Micheli）、塞尔吉奥·莫弗（Sergio Mover）、马可·罗维里（Marco Rover 相关软件： 自旋蛋白；CUDD；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
gmp公司 299篇文献引用（1995年至2024年） 软件作者： 格兰伦德 相关软件： MPFR；NTL；PARI/GP… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
数据日志 282份文件引用(1978–2022) 软件作者： Ceri，S.、Gottlob，G.、Tanca，L 相关软件： 亚萨特；格林戈；Clingo… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
KEGG公司 206篇文献引用(2003–2023) 软件作者： Minoru Kanehisa；Susumu Goto公司 相关软件： 生物导体；R；UniProt… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
UTV公司 295篇文献引用(1997–2024) 软件作者： 里卡多·D·费罗。；汉森，Per Christian 相关软件： 正规化工具；LSQR；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
日晷 251篇文献引用(1990–2024) 软件作者： Alan C.Hindmarsh。；彼得·N·布朗（Peter N.Brown）。；基思·格兰特（Keith E.Grant）。；Lee，Steven L。；塞尔维亚人，Radu；Dan E.Shumaker。；卡罗尔·伍德沃德。 相关软件： PETSc；Matlab；RODAS… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；流体力学（76-XX）…
LMFDB公司 273份文件中引用(2014–2024) 软件作者： http://www.lmfdb.org/确认 相关软件： 岩浆；SageMath；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；特殊功能（33-XX）…
QAPLIB公司 240篇文献引用(1991–2024) 软件作者： 雷纳·E·伯克德（Rainer E.Burkard）。；斯特凡·卡里什（Stefan E.Karisch）。；Franz伦德尔 相关软件： CPLEX；SDPNAL+；SeDuMi… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
可爱的 244篇文献引用(1994–2024) 软件作者： 邦加兹，I。；康涅狄格州A。；古尔德，N。；厕所，博士。 相关软件： 切割机；L-BFGS；minpack… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
范胡菲尔 229篇文献引用(1991–2023) 软件作者： 范·赫菲尔（Sabine van Huffel）；乔斯·范德维尔 相关软件： 正规化工具；mctoolbox；UTV… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
ATLAS集团代表 230份文件引用(1997–2024) 软件作者： 雅培·R、布雷·J、林顿·S、尼克森·S、诺顿·S，帕克·R、苏莱曼·I、特里普·J、沃尔什·P、威尔逊·R。 相关软件： 间隙；岩浆；CTblLib… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；群论和推广（20-XX）…
L-BFGS-B型 220篇文献引用(1997–2024) 软件作者： Ciyou Zhu、Richard Byrd、Jorge Nocedal、Jose Luis Morales 相关软件： L-BFGS；LBFGS-B；切割机… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CAViaR公司 221篇文献引用(2001–2023) 软件作者： 罗伯特·恩格尔（Robert F Engle）；西蒙·曼加内利 相关软件： 量化风险管理；风险度量；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
SPGL1型 219篇文献引用(2008–2023) 软件作者： 范登伯格（van den Berg，Ewout）；迈克尔·弗里德兰德。 相关软件： PDCO；内斯塔；CoSaMP… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
有限元分析 引用于213份文件(1993–2024) 软件作者： 泰勒；加州大学伯克利分校 相关软件： PETSc；ABAQUS；FEAPpv… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
PolyMesher公司 200篇文献引用(2012–2024) 软件作者： 卡梅隆·塔利西；Paulino，Glaucio H。；佩雷拉·安德森；伊凡·梅内泽斯。 相关软件： PolyTop；Matlab；三角形… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
坚果 196篇文献引用(2013–2024) 软件作者： 马修·霍夫曼（Matthew D.Hoffman）、安德鲁·盖尔曼（Andrew Gelman） 相关软件： 斯坦；贝叶斯DA；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
物理工具包 162篇文献引用(2001–2024) 软件作者： Goldberger AL、Amaral LAN、Glass L、Hausdorff JM、Ivanov PCh、Mark RG、Mietus JE、Moody GB、Peng C-K、Stanley HE 相关软件： fda（R）；UCI-ml；R、 … 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；计算机科学（68-XX）…
LiE公司 180篇文献引用(1993–2024) 软件作者： A.M.Cohen、B.Lisser、M.A.A.van Leeuwen 相关软件： Mathematica；岩浆；麦考利2… 主要字段： 代数几何（14-XX）；非结合环与代数（17-XX）；群论和推广（20-XX）…
玉 129篇文献引用(2010–2024) 软件作者： 张杰，Sanderson AC 相关软件： CEC 05；ABC；CEC 13… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
电弧_磁场 169篇文献引用(2007–2023) 软件作者： 刘行健；詹姆斯·P·勒萨奇 相关软件： 空间面板；R；spBayes… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning 相关软件： TPS；Isabelle/HOL；霍尔… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
gfun公司 153篇文献引用(1992–2023) 软件作者： B.救助；P.齐默尔曼 相关软件： 枫树；组织环境信息系统；GeneratingFunctions… 主要字段： 组合数学（05-XX）；数论（11-XX）；特殊功能（33-XX）…
Wirter流量 157篇文献引用(2015–2024) 软件作者： Emmanuel Candes、Li Xiaodong、Mahdi Soltanolkotabi 相关软件： 相位提升；PhaseMax；GESPAR… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
优化软件基准 154份文件引用(1999–2023) 软件作者： 汉斯·米特尔曼 相关软件： 塞杜米；MIPLIB公司；SCIP… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
自动图形X 146篇文献引用(1999–2024) 软件作者： 吉尔斯·卡波罗西 相关软件： 涂鸦；图形；nauty… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
OpenGL（OpenGL） 111篇文献引用(1994–2023) 软件作者： Khronos集团 相关软件： CUDA；Cg；OpenCL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
VTK公司 94份文件引用(2000–2024) 软件作者： W.Schroeder、L.Avila、K.Martin、W.Hoffman、C.Law 相关软件： 蟒蛇；ParaView；Gmsh… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
UniProt公司 78篇文献引用(2004–2023) 软件作者： UniProt财团；阿普韦勒，R。；Bairoch，A。；Wu，C.H。；巴克，W.C。；Boeckmann，B。；费罗，S。；Gasteiger，E。；黄，H。；洛佩兹，R。；马格兰，M。；马丁·M·J。；Natale，D.A。；奥多诺万，C。；Redaschi，N。；是的，L.S。 相关软件： 爆炸；PSI-爆炸；KEGG… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
工作分解结构 137篇文献引用(2013–2024) 软件作者： 彼得·弗里兹莱维奇 相关软件： R；FDRSeg；变更点… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
爆炸 111篇文献引用(2003–2022) 软件作者： 托马斯·亨辛格（Thomas A.Henzinger）。；Jhala，Ranjit；Rupak Majumdar；格雷戈伊尔·萨特雷 相关软件： SLAM；CPA检查员；CBMC… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NLPQL语言 137篇文献引用(1986–2024) 软件作者： 希特科夫斯基 相关软件： NPSOL；SNOPT；NLPQLP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
Flyspeck飞点 133篇文献中引用(2004–2024) 软件作者： 托马斯·黑尔斯（Thomas C.Hales）。；Tankink，Carst公司；塞萨里·卡利西克；约瑟夫·厄本；赫尔曼·格乌弗斯 相关软件： 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）…
NOMAD公司 132份文件引用(2001–2024) 软件作者： 塞巴斯蒂安·勒·迪加贝尔 相关软件： OrthoMADS；自我；MultiMin… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
K2 122篇文献引用(2004–2023) 软件作者： 马可·泰尔（Marco Thiel）、马门·罗曼诺（Mamen Romano）、安德烈·伯格纳（AndréBergner） 相关软件： TISEAN公司；图表；Matlab… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
抓斗切割 70篇文献引用(2007–2023) 软件作者： Rother C、Kolmogorov V、Blake A。 相关软件： MAXFLOW；BSDS；PASCAL VOC… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
视觉UTA 118篇文献引用(2008–2023) 软件作者： S.Greco、V.Mousseau、R.Słowiáski 相关软件： UTA Plus；M-MACBETH；电气… 主要字段： 测量和集成（28-XX）；统计学（62-XX）；计算机科学（68-XX）…
函数 69篇文献引用(2002–2023) 软件作者： w3.org网站 相关软件： XPath；X标记；Oracle… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
斯坦利布 119篇文献引用(1998–2024) 软件作者： 科赫、托尔斯滕；A.马丁；S.Voss；齐布 相关软件： SCIP；CPLEX；SCIP-插孔… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿达德尔塔 117篇文献引用(2017–2024) 软件作者： 马修·泽勒 相关软件： 亚当；阿达格拉德；RMSprop… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DeepWalk公司 115篇文献引用(2017–2024) 软件作者： 布莱恩·佩罗齐（Bryan Perozzi）、拉米·阿尔罗福（Rami Al-Rfou）、史蒂文·斯基纳（Steven Skiena） 相关软件： node2vec；线路；单词2vec… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
SMAC公司 110篇文献引用(2010–2023) 软件作者： 弗兰克·赫特（Frank Hutter）、霍尔格·胡斯（Holger Hoos）、凯文·莱顿·布朗（Kevin Leyton-Brown）、凯文·墨菲（Ke文·墨菲）、史蒂夫·拉马奇（Steve Ramage） 相关软件： 帕拉米尔斯；青蒿；irace… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
宾州树库 57篇文献引用(1996–2024) 软件作者： 宾夕法尼亚大学 相关软件： 亚当；WordNet；BERT… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
落叶松 105篇文献引用(1989–2023) 软件作者： John V.Guttag。；詹姆斯·霍宁。 相关软件： JML；埃菲尔；PVS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；群论和推广（20-XX）…
QISKit公司 104篇文献引用(2018–2024) 软件作者： Qiskit社区 相关软件： github；Penny巷；循环（amp；C）… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
皮奥莫 103篇文献引用(2012–2024) 软件作者： 威廉·哈特（William E.Hart）。；卡尔·莱尔德；Jean-Paul Watson；伍德拉夫，大卫·L。 相关软件： 古罗比；Ipopt；CPLEX… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
图表 113篇文献引用(2013–2022) 软件作者： Sommer，克里斯蒂安 相关软件： 算法97；GraphChi；Pregel… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
最小自由流动性 109篇文献引用(2002–2023) 软件作者： Michael R.Bussieck。；阿恩·斯托尔伯格（Arne Stolbjerg Drud）；亚历山大·米罗斯 相关软件： SCIP；Ipopt；BARON… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
QETLAB公司 112份文件引用(2000–2023) 软件作者： 纳撒尼尔·约翰斯顿 相关软件： QubitUPB搜索；CVX；SDPT3… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；功能分析（46-XX）；量子理论（81-XX）…
DYNA3D公司 106篇文献引用(1982–2023) 软件作者： R.G.Whirley，B.E.Engelmann 相关软件： LS-DYNA；ABAQUS；PRONTO3D… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）…
全球气候变化评估 79份文件引用(2004–2023) 软件作者： Jean（ZHIJIN）Wu、Rafael Irizarry、James MacDonald、Jeff Gentry 相关软件： 生物导体；limma；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
重新查看 106篇文献引用(1991–2023) 软件作者： 鲁道夫·伯哈默（Rudolf Berghammer）；冈瑟·施密特；温特，迈克尔 相关软件： Isabelle/HOL；证明人9；Rath… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
菲律宾 90篇文献引用(1996–2023) 软件作者： Felsenstein，J。 相关软件： ClustalW；PAUP*；贝叶斯先生… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
HMQV公司 105篇文献引用(2001–2023) 软件作者： 雨果·克劳茨克 相关软件： NAXOS；金利；XooTools… 主要字段： 组合数学（05-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
结地图集 104篇文献引用(2005–2023) 软件作者： 巴纳坦，德罗；斯科特·莫里森 相关软件： 节点信息；Khoho；结景… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；流形和细胞复合体（57-XX）…
近地天体 98篇文献引用(1997–2023) 软件作者： 约瑟夫·齐兹克（Joseph Czyzyk）；迈克尔·梅斯尼尔（Michael P.Mesnier）；豪尔赫·莫雷 相关软件： AMPL；GAMS；CPLEX… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
弹丸 71篇文献引用(2006–2023) 软件作者： Sirin，E.，Parsia，B.，Grau，B.C.，Kalyanpur，A.，Katz，Y。；Clark&Parsia有限责任公司 相关软件： FaCT++；赛车手；赫密特… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Graphviz公司 72份文件引用(2001–2023) 软件作者： 约翰·埃尔森；埃姆登·甘斯纳；Koutsofios，Lefteris；诺斯，斯蒂芬·C。；戈登·伍德赫尔 相关软件： 动态记录仪；R；Python… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
fastDNAml（快速DNAml） 88篇文献引用(1987–2022) 软件作者： Olsen，G.J.、Matsuda，H.、Hagstrom，R.、Overbeek，R；费尔森施泰因 相关软件： PHYLIP；贝叶斯先生；Seq-Gen… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
打开BUGS 80篇文献引用(2007–2024) 软件作者： 安德鲁·托马斯 相关软件： R；WinBUGS；卡爪… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
可操纵金字塔 75篇文献引用(1999–2023) 软件作者： E.西蒙塞利 相关软件： DT-CWT；ImageNet；AlexNet… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；数值分析（65-XX）…
位置传感器 82篇文献引用(2008–2019) 软件作者： Chou，K.C。；沈海波（Shen，H.B.）。 相关软件： Euk-mPLoc；LIBSVM；iLoc-Euk… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
AVISPA公司 82篇文献引用(2005–2023) 软件作者： 信息社会技术方案下的欧洲共同体（1998-2002） 相关软件： 卡斯珀；ProVerify；OFMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ML-KNN公司 78篇文献引用(2007–2024) 软件作者： M.Zhang、Z.Zhou 相关软件： BoosTexter；MULAN；LIBSVM… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
VisualSEEk（可视化搜索） 54篇文献引用(1998–2010) 软件作者： 约翰·史密斯；张世富 相关软件： NeTra；简单性；PicToSeek… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MACS-VRPTW公司 75篇文献引用(1996–2023) 软件作者： 卢卡·玛丽亚·甘巴黛拉（Luca Maria Gambardella）；埃里克·泰拉德；乔瓦尼·阿加齐 相关软件： VRP；禁忌搜索；HAS-QAP… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
SND库 79份文件引用(2007–2023) 软件作者： 奥洛夫斯基，S。；韦萨利，R。；Pióro，M。；A.托马谢夫斯基。 相关软件： CPLEX；SCIP；MIPLIB… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
线路 79份文件引用(2017–2024) 软件作者： J.Tang、M.Qu、M.Wang、M.Zhang、J.Yan、Q.Mei 相关软件： DeepWalk；node2vec；单词2vec… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；霍尔… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
PPM（百万英镑） 72份文件引用(2002–2023) 软件作者： I.F.Sbalzarini、J.H.Walther、M.Bergdorf、S.E.Hieber、E.M.Kotsalis、P.Koumoutsakos 相关软件： FFTW；GADGET公司；GitHub… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
TRANSFAC公司 34份文件引用（2001年至2020年） 软件作者： E.Wingender、X.Chen、R.Hehl、H.Karas、I.Liebich、V.Matys、T.Meinhardt、M.Prüß、I.Reuter、F.Schacherer 相关软件： JASPAR；KEGG；BioProspector… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
KPCA加LDA 57篇文献引用(2006–2021) 软件作者： 杨，J。；Frangi，A.F。；杨，J。；张，D。；Z.Jin。 相关软件： 费雷特；UCI-ml；CMU PIE… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
阿勒夫 59篇文献引用(2004–2023) 软件作者： 斯里尼瓦桑，A 相关软件： ProbLog；github；Metagol… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
算法829 65篇文献引用(2003–2024) 软件作者： 马可·加维亚诺；克瓦索夫，德米特里·E·。；丹尼尔·莱拉（Daniela Lera）；亚罗斯拉夫·谢尔盖耶夫。 相关软件： 地方政府官员；Maple的全局优化工具箱；MultiMin… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；光学、电磁理论（78-XX）…
卡普塞 67篇文献引用(2011–2023) 软件作者： Jean-Patrick Baudry；凯西·毛吉斯（Cathy Maugis）；贝特朗·米歇尔 相关软件： R；fda（R）；mclust… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
马克斯利克 65篇文献引用(1978–2023) 软件作者： 阿恩·亨宁森；奥特·图梅特 相关软件： maxLik；R；CODA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…