Gms小时 968份文件中引用(2003–2024) 软件作者： Christophe Geuzaine，Jean-François Remacle 相关软件： FEniCS；PETSc；ParaView… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
自旋蛋白 619文件引用(1990–2023) 软件作者： 贝尔实验室 相关软件： NuSMV；Uppaal；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
GeoGebra公司 203篇文献引用(2007–2024) 软件作者： – 相关软件： 几何画板；灰姑娘；GEX… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；几何（51-XX）…
PVM公司 279篇文献引用(1992–2022) 软件作者： 盖斯特；贝格林；东加拉；江；曼切克；桑德拉姆 相关软件： 磁粉检测；LAPACK；ScaLAPACK… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
CHEMKIN公司 272份文件引用(1982–2024) 软件作者： 桑迪亚国家实验室；Coltrin，M.E.，Kee，R.J.，Rupley，F.M.，Meeks，E。 相关软件： 运输；视频点播；预混合… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；流体力学（76-XX）…
克里斯托费尔 271份文件引用(1996–2024) 软件作者： 托宾·A·德里斯科尔 相关软件： SC工具箱；Matlab；SCPACK… 主要字段： 复变量函数（30-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
美国缉毒局 254篇文献引用(1988–2023) 软件作者： 生产力分析研究网络 相关软件： DEAFrontier公司；恐惧；基准… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
踪迹 引用于244份文件(2014–2024) 软件作者： 阿道夫·皮佩尔诺 相关软件： 鹦鹉螺；SageMath；间隙… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；凸和离散几何（52-XX）…
几何画板 引用于67份文件(1997–2023) 软件作者： 2009年KCP技术。 相关软件： 灰姑娘；GeoGebra；Cabri-geometry… 主要字段： 总体主题；藏品（00-XX）；几何（51-XX）；数值分析（65-XX）…
12月6日 236篇文献引用(2003–2023) 软件作者： 尼古拉斯·I.M.古尔德。；多米尼克·奥尔班；马桶，菲利普·L。 相关软件： 切割机；minpack；L-BFGS… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
斯帕斯基 225篇文献引用(1991–2024) 软件作者： 萨阿德 相关软件： ITSOL；ILUT；稀疏矩阵… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
无人值守地面 185篇文献引用(1994–2021) 软件作者： Bastian，P。；伯肯，K。；约翰森，K。；朗·S。；纽伊，N。；伦茨·雷切尔，H。；维纳斯，C。 相关软件： DUNE；PETSc；PLTMG… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
KEEL公司 114篇文献引用(2009–2024) 软件作者： Alcalá-Fdez，J。；桑切斯，L。；南卡罗来纳州加西亚。；德尔·耶稣，M.J。；文图拉，S。；加雷尔，J.M。；Otero，J。；罗梅罗，C。；百加得，J。；里瓦斯，V.M。；费尔南德斯，J.C。；F.埃雷拉。 相关软件： JStatCom；UCI毫升；C4.5… 主要字段： 测量和集成（28-XX）；统计学（62-XX）；数值分析（65-XX）…
SOCS系统 180篇文献引用(1999–2024) 软件作者： 波音公司；Betts，J.T。；W.P.哈夫曼 相关软件： Ipopt公司；GPOPS；SNOPT… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
SLAM公司 128篇文献引用(2001–2023) 软件作者： 托马斯·鲍尔（Thomas Ball）；Rajamani，Sriram K。 相关软件： 爆炸；自旋蛋白；班德拉… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
rbMIT公司 153篇文献引用(2007–2023) 软件作者： Phuong Huynh；Ngoc Cuong Nguyen；A.T.Patera和G.Rozza 相关软件： 红色套件；RBmatlab；DUNE… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
地理PDE 142篇文献引用（2011年-2023年） 软件作者： de Falco，C。；Reali，A。；瓦兹奎兹，R。 相关软件： ISOGAT；IETI；Matlab… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
爆炸 111篇文献引用（2003年至2022年） 软件作者： 托马斯·亨辛格（Thomas A.Henzinger）。；Jhala，Ranjit；Rupak Majumdar；格雷戈伊尔·萨特雷 相关软件： SLAM；CPA检查员；CBMC… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
班德拉 105篇文献引用(2000–2023) 软件作者： 约翰·哈特克利夫；马修·德怀尔 相关软件： 自旋蛋白；Java路径查找器；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
坎迪斯 129篇文献引用(2005–2024) 软件作者： 罗尔夫·苏兰克·阿尔弗雷德·格雷 相关软件： Mathematica；SciPy；Python… 主要字段： 偏微分方程（35-XX）；微分几何（53-XX）；整体分析，流形分析（58-XX）…
Cabri-几何 在16份文件中引用(2000–2019) 软件作者： 拉博德，C。 相关软件： 几何画板；灰姑娘；GeoGebra… 主要字段： 总体主题；藏品（00-XX）；线性代数和多线性代数；矩阵理论（15-XX）；几何（51-XX）…
卡萨迪 102份文件引用(2012–2024) 软件作者： Joel Andersson；约翰·奥凯森；莫里茨·迪尔 相关软件： Ipopt公司；Matlab；HSL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
锡林克斯 24篇文献引用(1994–2023) 软件作者： Xilinx公司。 相关软件： Handel-C；Matlab；Simulink… 主要字段： 场论与多项式（12-XX）；计算机科学（68-XX）；量子理论（81-XX）…
ILOG时间表 88篇文献引用(1996–2023) 软件作者： C·勒帕佩 相关软件： CPLEX；炸薯条；JOBSHOP… 主要字段： 一般代数系统（08-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
努姆巴 48篇文献引用(2016–2024) 软件作者： S.K.Lam、A.Pitrou、S.Seibert 相关软件： 蟒蛇；数字Py；SciPy… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
艾伯特 85篇文献引用(1997–2023) 软件作者： 施密特，A。；西伯特，K.G。 相关软件： 阿尔伯塔；FreeFem++；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
琼博 79份文件引用(2002–2023) 软件作者： Colella，P.，Graves，D.T.，Ligocki，T.J.，Martin，D.F.，Modiano，D.，Serafini，D.B.，Straalen，B.V。；ANAG公司 相关软件： 帕拉梅什；p4测试；SAMRAI… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
德尔福 52篇文献引用(1995–2015) 软件作者： Embarcadero技术公司；博兰德 相关软件： Visual Basic；擅长；SPSS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
格菲 71篇文献引用(2012–2024) 软件作者： M.Bastian、S.Heymann、M.Jacomy 相关软件： 力量图谱2；NetworkX；迁徙… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
ADIC公司 83份文件引用(1996–2023) 软件作者： 豪兰，P。；诺里斯，B。；B.史密斯。 相关软件： ADIFR；ADOL-C；PETSc… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
投掷 59篇文献引用(2005–2022) 软件作者： 帕特丽斯·戈德弗里德；尼尔斯·克拉伦德；库什克森 相关软件： 可爱的；z3；KLEE… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
玛蒂塔 78篇文献引用(2007–2024) 软件作者： 安德里亚·阿斯佩蒂；里奇奥蒂，威尔默；Sacerdoti Coen，Claudio；恩里科·塔西 相关软件： Coq；米扎尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
故障电流互感器++ 66份文件引用(2000–2023) 软件作者： 德米特里·察尔科夫；伊恩·霍洛克斯 相关软件： 颗粒；赛车手；赫密特… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MRMC公司 71篇文献引用(2006–2023) 软件作者： Joost-Pieter Katoen；亚琛工业大学 相关软件： 棱镜；Uppaal；CADP… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SLMC公司 75篇文献引用(2003–2023) 软件作者： 雨果·维埃拉；路易斯·凯雷斯 相关软件： 棱镜；管道；莫德… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
雏菊 71篇文献引用(2008–2024) 软件作者： 朱塞皮娜·贝鲁、玛丽亚·皮亚·萨科马尼、斯蒂芬妮娅·奥多利、莱昂蒂娜·达朗戈 相关软件： 西安；COMBOS公司；GenSSI… 主要字段： 交换代数（13-XX）；常微分方程（34-XX）；统计学（62-XX）…
得到 51篇文献引用(1991–2023) 软件作者： 伯恩哈德·库兹勒；沃尔，伯恩哈德；弗兰茨·温克勒 相关软件： Mathematica；枫树；马西玛… 主要字段： 总体主题；藏品（00-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
SGeMS公司 68篇文献引用(2005–2023) 软件作者： Remy N、Boucher A、Wu J 相关软件： GSLIB；EnKF；HOSIM… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
凯伊 55份文件引用(2000–2023) 软件作者： http://www.key-project.org/people.html 相关软件： JML；ESC/Java；卡拉卡拉… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
RRL公司 59篇文献引用(1985–2023) 软件作者： D.卡普尔；H.张 相关软件： 版次：；水獭；NQTHM… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；非结合环与代数（17-XX）…
乌兹拉布 59篇文献引用(2016–2024) 软件作者： Lataniotis C、Marelli S、Sudret B 相关软件： AK-MCS；蟒蛇；达科塔… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
PT-Scotch公司 59篇文献引用(2010–2023) 软件作者： C.骑士；F.佩莱格里尼 相关软件： 帕梅蒂斯；PETSc；梅蒂斯… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
主代码（_A） 59篇文献引用(1995–2024) 软件作者： 法国电力公司（EDF；法国电力） 相关软件： ABAQUS；Gmsh；COMSOL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
多重嵌套 53篇文献引用(2006–2023) 软件作者： Feroz，F.，Hobson，M.P.，Bridges，M 相关软件： 多毛类；巨蟒山；痛苦… 主要字段： 统计学（62-XX）；数值分析（65-XX）；量子理论（81-XX）…
卡帕拉布 60篇文献引用(2007–2024) 软件作者： 米歇尔·格拉比什（Michel Grabisch）；科贾迪诺维奇（Ivan Kojadinovic）；帕特里克·梅耶 相关软件： R；M-MACBETH；可视化UTA… 主要字段： 测量和集成（28-XX）；统计学（62-XX）；计算机科学（68-XX）…
GreatSPN公司 53篇文献引用(1988–2022) 软件作者： 朱奈德·巴巴尔；马可·贝库蒂；苏珊娜·多纳泰利（Susanna Donatelli）；安德鲁·米纳 相关软件： GreatSPN 1.7；TimeNET；CADP… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PAUP公司* 52篇文献引用(1987–2024) 软件作者： 大卫·斯沃福德 相关软件： PHYLIP；RAxML；贝叶斯先生… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
Protege公司 28篇文献引用(1997–2022) 软件作者： 斯坦福大学；J.H.Gennari、M.A.Musen、R.W.Fergerson等人。 相关软件： 颗粒；赛车手；耶拿… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
吉姆普 39篇文献引用(1996–2021) 软件作者： SAS公司 相关软件： R；SAS；MINITAB… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
SWIG（开关） 41篇文献引用(2000–2023) 软件作者： D.M.比兹利。 相关软件： 蟒蛇；数字Py；F2PY… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GEANT4型 45篇文献引用(1997–2023) 软件作者： V.M.格里钦。 相关软件： 根；PYTHIA8；FLUKA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
TINA公司 53篇文献引用(2004–2024) 软件作者： 伯托米厄，B。；里贝特，P.-O。；弗纳达特，F。；LAAS/CNRS公司 相关软件： Uppaal；罗密欧；Kronos… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
KIV公司 51篇文献引用(1988–2022) 软件作者： M.Heisel、B.Langenstein、W.Reif、G.Schellhorn、K.Stenzel、W.Stephan、A.Wolpers等人。 相关软件： Z；PVS；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
CVXGEN公司 48篇文献引用(2010–2023) 软件作者： J.马丁利；S.博伊德 相关软件： qpOASES；ECOS；fast_mpc… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GPDT公司 51篇文献引用(2005–2024) 软件作者： 卢卡·赞尼（Luca Zanni）；托马斯·塞拉菲尼；盖塔诺·赞吉拉特 相关软件： CONV_QP；SVM灯；UCI-ml… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
PlatEMO公司 43篇文献引用(2017–2023) 软件作者： 叶田、冉成、张兴义、金耀初 相关软件： MOEA/D；HypE；SPEA2… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
奥维托 44篇文献引用(2012–2023) 软件作者： 亚历山大·斯图科夫斯基 相关软件： 跛行；查姆；Gromacs… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
印章 39篇文献引用(1998–2023) 软件作者： 科普曼，S.J。；哈维，A.C。；Doornik，J.A。；谢泼德，A。 相关软件： SsfPack；公牛；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
SIMPACK卡 引用于47份文件(1991–2022) 软件作者： SIMPACK股份公司 相关软件： DASSL；罗德斯；亚当斯… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
喷气式飞机 43篇文献引用(2014–2024) 软件作者： H.Baran、M.Marvan 相关软件： CDE；宝石；SYMMGRP… 主要字段： 非结合环与代数（17-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
接收cv 引用于42份文件(2003–2023) 软件作者： 安妮斯蒂斯·安东尼亚迪斯；Jeremie Bigot；Theofanis Sapatinas公司 相关软件： EBayesThresh；WaveLab；wavethresh… 主要字段： 欧氏空间（42-XX）的调和分析；概率论与随机过程（60-XX）；统计学（62-XX）…
MBSPACK公司 引用于42份文件(1995–2023) 软件作者： 伯恩德·西蒙 相关软件： 罗德斯；MEXX；DASSL… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
SatAbs公司 35篇文献引用(2005–2020) 软件作者： Clarke，E.，Kroning，D.，Sharygina，N.，Yorav，K。 相关软件： 爆炸；SLAM；CPA检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
清爽 35篇文献引用(1994–2023) 软件作者： M Heiner、M Herajy、F Liu、C Rohr、M Schwarick 相关软件： 玛丽；CPN/工具；日晷… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；差分方程和函数方程（39-XX）；计算机科学（68-XX）…
赫罗特 41篇文献引用(2015–2023) 软件作者： O.博克。；Baetge，I。；A.尼克利什。 相关软件： Z树；o树；奥赛… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）
非MEM 37篇文献引用(1996–2022) 软件作者： 比尔，S.L。；谢纳，L.B。 相关软件： R；S-PLUS；SAS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
SINTEF公司 40篇文献引用(2007–2023) 软件作者： Hasle，Geir（编辑）；Lie，Knut-Andreas（编辑）；Ewald Quak（编辑） 相关软件： Matlab；VRP；FEniCS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PARPAP公司 38篇文献引用(2006–2023) 软件作者： 斯特凡·贝特尔斯；托尔斯滕·法勒 相关软件： VRP；古罗比；超启发式… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MEGAFLOW公司 38篇文献引用(2000–2023) 软件作者： R·鲁德尼克。 相关软件： TAU；花朵；Spalart-Allmaras… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
孔隙比 36篇文献引用(2018–2024) 软件作者： E.Keilegavlen、A.Fumagalli、R.Berge、I.Stefansson、I.Berre 相关软件： Gmsh；杜穆克斯；FEniCS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
新加坡 38篇文献引用（2001年至2022年） 软件作者： M.J.霍尔斯特。 相关软件： APBS；FreeFem++；CHARMM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
JMulTi公司 37篇文献引用(2002–2023) 软件作者： Helmut Lütkepohl，Markus Krätzig 相关软件： R；擅长；变量… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
茂物 27篇文献引用(2003–2014) 软件作者： 马修·德怀尔（Matthew B.Dwyer）。；约翰·哈特克利夫；马修·胡西尔（Matthew Hoosier）；马修·罗比 相关软件： 自旋蛋白；班德拉；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DIALIGN公司 24篇文献引用（2001年至2022年） 软件作者： B.摩根斯坦 相关软件： ClustalW公司；肌肉；T-咖啡… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
模仿者 34份文件引用(1996–2023) 软件作者： 埃蒂安·安德烈 相关软件： Uppaal；高科技；PPL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
SeaHorn公司 36篇文献引用(2015–2023) 软件作者： Gurfinkel，A.，Kahsai，T.，Komuravelli，A.，Navas，J.A。 相关软件： z3；垫片；CPA检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CLUCalc公司 34份文件引用(2004–2022) 软件作者： 克里斯蒂安·佩瓦斯 相关软件： 盖根；加洛普；克利福德… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；群论与推广（20-XX）；数值分析（65-XX）…
CCSTM公司 34份文件引用（2010年） 软件作者： N.G.Bronson，H.Cha。，K.Olukotun公司 相关软件： – 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
政治公众人物 在30份文件中引用(1993–2014) 软件作者： L.Baldo、L.Fernandes、P.Roisenberg、P.Velho、T.Webber 相关软件： 政治公众人物协议；智能_；GTAEXPRESS… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
布瑞恩 23篇文献引用(2008–2023) 软件作者： Goodman DFM、Brette R 相关软件： 神经元；巢穴；Pynn… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
聪明的_ 23篇文献引用(2000–2018) 软件作者： Ciardo，G。；Jones，R.L。；Miner，A.S.公司。；R·西米尼亚努。 相关软件： 自旋蛋白；棱镜；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FLEXI公司 31份文件引用(2020–2024) 软件作者： 尼科·克莱斯（Nico Krais）；安德烈亚·贝克（Andrea Beck）；托马斯·博莱曼；汉内斯·弗兰克；大卫·弗拉德；格雷戈·加斯纳（Gregor Gassner）；弗洛里安·辛登朗；霍夫曼，马尔特；托马斯·库恩（Thomas Kuhn）；马提亚斯·桑塔格；克劳斯·迪特·蒙兹 相关软件： Nektar++；Nek5000；HOPR… 主要字段： 偏微分方程（35-XX）；近似和扩展（41-XX）；数值分析（65-XX）…
MesoRD公司 在30份文件中引用(2010–2021) 软件作者： 约翰·哈特纳（Johan Hattne）、大卫·方格（David Fange）；约翰·埃尔夫 相关软件： URDME；步骤；斯莫尔丁… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
斯科特 31份文件引用(2016–2023) 软件作者： 马蒂亚斯·伦格；马吉德·扎马尼 相关软件： PESSOA；科西马；p面… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
时间网络 28篇文献引用(1995–2022) 软件作者： 德语，Reinhard；克里斯蒂安·凯林（Christian Kelling）；阿明·齐默尔曼（Armin Zimmermann）；君特侯麦 相关软件： GreatSPN；SPNP；GreatSPN 1.7… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
LASS公司 29篇文献引用(1997–2021) 软件作者： 斯蒂利安·斯托夫 相关软件： 长备忘录；wmtsa；Matlab… 主要字段： 历史与传记（01-XX）；欧氏空间（42-XX）的调和分析；概率论与随机过程（60-XX）…
加洛普 29篇文献引用(2010–2023) 软件作者： 迪特马尔·希尔登布兰德；乔阿希姆·皮特；安德烈亚斯·科赫 相关软件： 盖根；CLUCalc；GMac… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；几何（51-XX）；数值分析（65-XX）…
PDE工具 29篇文献引用(1995–2018) 软件作者： Cheb-Terrab，E.S。；冯·布洛，K。 相关软件： 枫树；伊斯兰教；SADE… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；微分几何（53-XX）…
PIV实验室 24篇文献引用(2014–2022) 软件作者： 西耶利克。；E.斯塔姆休斯。 相关软件： OpenPIV；RealPi2dDIC；pydic… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
PySP公司 28篇文献引用(2012–2023) 软件作者： Jean-Paul Watson；伍德拉夫，大卫·L·。；威廉·哈特（William E.Hart）。 相关软件： 皮奥莫；CPLEX；古罗比… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
陆军装备司令部 26篇文献引用(2007–2022) 软件作者： 安德烈亚斯·波德尔斯基（Andreas Podelski）、安德烈·里巴尔琴科（Andrey Rybalchenko） 相关软件： SLAM；跟踪器；匕首… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
犀牛 26篇文献引用(2004–2023) 软件作者： Robert McNeel&Associates公司 相关软件： ISOGAT；蚱蜢；LS-DYNA… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SimVascular公司 27篇文献引用(2017–2024) 软件作者： Updegrove，A。；新墨西哥州威尔逊。；Merkow，J。；兰·H。；Marsden，A.L。；南卡罗来纳州沙登。 相关软件： PETSc；TetGen公司；克里姆森… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
DE发现 27篇文献引用（2011年-2023年） 软件作者： 罗切斯特大学生物防御免疫模型中心（CBIM） 相关软件： 半标准杆；R；fda（R）… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；统计学（62-XX）…
管道 28篇文献引用(2002–2017) 软件作者： 萨加尔·查基；Rajamani，Sriram K。；雅各布·雷霍夫 相关软件： SLMC；旋风；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
不明飞行物 22篇文献引用(2012–2022) 软件作者： Aws Albarghouthi、Yi Li、Arie Gurfinkel、Marsha Chechik 相关软件： CPA检查员；z3；爆炸… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
VOS查看器 25篇文献引用（2015年至2024年） 软件作者： N.J.Van Eck和L.Waltman 相关软件： CitNetExplorer；M-MACBETH；城市空间… 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）；量子理论（81-XX）…