ABAQUS公司 1729年文献引用（1985年至2024年） 软件作者： Simulia（达索系统）；ABAQUS公司 相关软件： ABAQUS/标准；UMAT；Matlab… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
AUTO（自动） 1016份文件引用(1981–2024) 软件作者： 多德尔、尤西比乌斯、阿兰·查普内斯、法比奥·德科尔、托马斯·费尔格雷夫、尤里·库兹涅佐夫、巴特·奥尔德曼、兰迪·帕芬罗斯、比约恩·桑德斯、王宪军和张成海 相关软件： AUTO-07P；HomCont；自动-86… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
规范化工具 809份文件引用(1994–2024) 软件作者： 汉森，Per Christian 相关软件： UTV；LSQR；IR工具… 主要字段： 偏微分方程（35-XX）；算子理论（47-XX）；数值分析（65-XX）…
MUMPS公司 631份文件引用(2000–2024) 软件作者： 帕特里克·R·埃姆斯泰。；达夫，伊恩·S。；L'Excellent，Jean-Yves；杰克·科斯特 相关软件： PETSc；FEniCS；Gmsh… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
MATCONT公司 526份文件引用(2003–2024) 软件作者： Dhooge，A。；乌龟，B。；Govaerts，W。；于库兹涅佐夫。答：。 相关软件： 自动；Matlab；CL_MATCONT… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
棱镜 498份文件引用(2001–2023) 软件作者： 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 相关软件： MRMC；风暴；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
XPPAUT公司 464份文件引用(1998–2023) 软件作者： Bard Ermentrout；穆罕默德·伊姆蒂亚兹（Mohammad Imtiaz）；罗布·克莱利；雅库布·诺瓦基 相关软件： 自动；Matlab；MATCONT… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
CGAL公司 423份文件引用(2000–2024) 软件作者： CGAL编辑委员会 相关软件： LEDA；二维三角剖分；三角形… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
高超声速 320篇文献引用(1996–2024) 软件作者： 汤姆·亨廷格（Tom Henzinger）、裴勇浩（Pei-Hin-Ho）和霍华德·旺托伊（Howard Wong-Toi）。 相关软件： Uppaal；PHAVer；Kronos… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
高铁 302文件引用(1975–2023) 软件作者： 卢瑟福阿普尔顿实验室数值分析小组和其他专家 相关软件： 稀疏矩阵；Ipopt公司；MA57… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
自动-86 280篇文献引用（1987年至2022年） 软件作者： Alan Champneys、Fabio Dercole、Thomas Fairgrife、Yuri Kuznetsov、Bart Oldeman、Randy Paffenroth、Bjorn Sandstede、Xianjun Wang和Chenghai Zhang 相关软件： 自动；PITCON；DSTool… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
MPT公司 255篇文献引用(2004–2023) 软件作者： M.Kvasnica；P.Grieder；M.Baoti；苏黎世联邦理工大学；Francesco博雷利 相关软件： YALMIP；CPLEX；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
费阿普 213篇文献引用(1993–2024) 软件作者： 泰勒；加州大学伯克利分校 相关软件： PETSc；ABAQUS；FEAPpv… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
联合 183份文件引用(1988–2021) 软件作者： K.Mani Chandy；贾亚德夫·米斯拉 相关软件： NQTHM；PVS；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
科学实验室 173篇文献引用(1999–2023) 软件作者： Scilab企业；里卡多·法布里 相关软件： Matlab；倍频程；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
纳斯特朗 179份文件引用(1976–2023) 软件作者： MSC软件公司 相关软件： ANSYS；ABAQUS；Matlab… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
分数阶混沌系统 172份文件引用(2009–2023) 软件作者： 伊沃·佩特拉斯 相关软件： Sprott的软件；Matlab；ma2dfc… 主要字段： 实函数（26-XX）；常微分方程（34-XX）；动力系统和遍历理论（37-XX）…
CADP公司 115篇文献引用(1997–2023) 软件作者： 休伯特·加拉维；赫尔曼斯，霍尔格；CONVCS团队 相关软件： 自旋蛋白；mCRL2；LOTOS… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
BEMECH公司 123篇文献引用(2002–2024) 软件作者： 高晓伟；特雷弗·G·戴维斯。 相关软件： RIM_DOM公司。F90；GeoPDE；BDEM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
SYMMGRP公司 121篇文献引用(1993–2024) 软件作者： 威利·赫里曼；B.香槟；P.温特尼茨 相关软件： 枫树；SYMMGRP公司。最大值；谎言… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
高斯 108篇文献引用(1988–2023) 软件作者： Aptech Systems公司。 相关软件： R；Matlab；SAS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
生物-PEPA 97篇文献引用(2008–2024) 软件作者： 费德里卡·乔切塔（Federica Ciocchetta）、玛丽亚·路易莎·格雷耶罗（Maria Luisa Guerriero）、瓦什蒂·加尔宾（Vashti Galpin）、简·希尔斯顿（Jane Hillston）、朱利奥·卡拉瓦尼亚（Giulio Caravagna）、艾伦·克拉克（Allan Clark）、安德烈亚·德加斯佩里（Andrea Degasperi）、亚当·杜吉 相关软件： 政治公众人物协议；棱镜；生物活性炭… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
应用程序 108篇文献引用(2002–2023) 软件作者： 罗伯托·巴格纳拉；利玛窦（Elisa Ricci）；埃纳州扎法内拉；帕特里夏·M·希尔。 相关软件： 高科技；停机坪；ASTREE… 主要字段： 数学逻辑与基础（03-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
PDE-网络 111篇文献引用(2019–2023) 软件作者： 龙子超、陆一平、马贤忠、董斌 相关软件： DGM；亚当；PyTorch… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-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）…
宝石 107篇文献引用(1990–2024) 软件作者： 亚历克谢·契维亚科夫 相关软件： 枫树；SYMMGRP；裂纹… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；变形固体力学（74-XX）…
MA57型 101篇文献引用(2002–2023) 软件作者： 达夫，伊恩·S。 相关软件： HSL；Ipopt公司；稀疏矩阵… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
弹丸 71篇文献引用(2006–2023) 软件作者： Sirin，E.，Parsia，B.，Grau，B.C.，Kalyanpur，A.，Katz，Y。；Clark&Parsia有限责任公司 相关软件： FaCT++；赛车手；赫密特… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
GAIO公司 98篇文献引用(2001–2023) 软件作者： djs2股份有限公司；Michael Dellnitz；加里·弗洛伊兰；容格，奥利弗 相关软件： Matlab；自动；ARPACK… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
虚拟机管理 77份文件引用(1999–2024) 软件作者： 安德鲁·达尔克、威廉·汉弗莱、克劳斯·舒尔滕 相关软件： 格罗姆克斯；NAMD；CHARMM… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
AGG公司 71篇文献引用(1994–2023) 软件作者： 加布里埃尔·坦泽尔 相关软件： 沟槽；进度；AToM3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
SLICOT公司 91份文件引用(1999–2023) 软件作者： 彼得·本纳（Peter Benner）；沃尔克·梅尔曼；西玛，瓦西里；范·赫菲尔（Sabine Van Huffel）；安德拉斯·瓦尔加 相关软件： LAPACK；Matlab；mctoolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NAMD公司 引用于70篇文献(1999–2023) 软件作者： 詹姆士菲利普斯 相关软件： 格罗姆克斯；查姆；VMD… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
格菲 71篇文献引用(2012–2024) 软件作者： M.Bastian、S.Heymann、M.Jacomy 相关软件： 力量图谱2；NetworkX；迁徙… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
钠20 79份文件引用(2000–2022) 软件作者： 达里奥·安德里亚·比尼；佛罗伦萨，朱塞佩 相关软件： na10；隔离；特征解… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；实函数（26-XX）；复变量函数（30-XX）…
mCRL2型 引用于70篇文献(2007–2024) 软件作者： 格罗特，扬·弗里索；Mathijssen，Aad公司；米歇尔·雷尼尔斯（Michel A.Reniers）。；亚罗斯拉夫·乌森科。；蒙克·范·维尔登堡 相关软件： CADP；Uppaal；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
SLMC公司 75篇文献引用(2003–2023) 软件作者： 雨果·维埃拉；路易斯·凯雷斯 相关软件： 棱镜；管道；莫德… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
水银 75篇文献引用（1994年至2022年） 软件作者： mercurylang.org网站 相关软件： 哈斯克尔；幼儿保育和教育；咖喱… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；统计学（62-XX）…
雏菊 71篇文献引用(2008–2024) 软件作者： 朱塞皮娜·贝鲁、玛丽亚·皮亚·萨科马尼、斯蒂芬妮娅·奥多利、莱昂蒂娜·达朗戈 相关软件： 西安；COMBOS公司；GenSSI… 主要字段： 交换代数（13-XX）；常微分方程（34-XX）；统计学（62-XX）…
LIMbook（直线电机手册） 73篇文献引用(2016–2023) 软件作者： 路易吉·布鲁格纳诺；费利斯·伊韦纳罗 相关软件： BiMD；商业智能；RODAS… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
LFA公司 引用于70篇文献(2005–2023) 软件作者： 维南王朝，罗马；沃尔夫冈·乔皮奇 相关软件： 韦塞林；github；PETSc… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
LOCBIF公司 65篇文献引用(1992–2019) 软件作者： 亚历山大一世（Alexander I.Khibnik）。；尤里·库兹涅佐夫（Yuri A.Kuznetsov）。；维克多五世（Victor V.Levitin）。；尤金·尼古拉耶夫。 相关软件： 自动；DSTool；自动-86… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
MIBPB公司 62篇文献引用(2010–2024) 软件作者： 段晨；詹晨；陈长军；耿伟华；郭伟伟 相关软件： APBS；塔比卜；PDB2PQR… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
汪汪叫 26篇文献引用(2004–2021) 软件作者： Wil M.P.范德阿尔斯特。 相关软件： 塔维纳；沃夫兰；WSAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
GreatSPN公司 53篇文献引用(1988–2022) 软件作者： 朱奈德·巴巴尔；马可·贝库蒂；苏珊娜·多纳泰利（Susanna Donatelli）；安德鲁·米纳 相关软件： GreatSPN 1.7；TimeNET；CADP… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CHomP公司 59篇文献引用(2006–2023) 软件作者： http://chomp.rutgers.edu/People.html 相关软件： 间隙；红磡；大写… 主要字段： 动力系统与遍历理论（37-XX）；代数拓扑（55-XX）；流形和细胞复合体（57-XX）…
EFD（电子飞行显示器） 59篇文献引用(2007–2023) 软件作者： 丹尼尔·伯恩斯坦（Daniel J.Bernstein）；坦尼娅·兰格 相关软件： 25519号曲线；mpFq；SageMath… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
沟槽 48篇文献引用(2004–2023) 软件作者： Kastenberg，H.，Rensink，A。 相关软件： AGG；自旋蛋白；GrGen… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
迪维尼 40篇文献引用(1996–2020) 软件作者： J.Barnat；L.Brim；P.罗凯 相关软件： 自旋蛋白；BEEM；NuSMV… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
4eMka2公司 53篇文献引用(1999–2023) 软件作者： S.Greco、B.Matarazo、R.Slowinski 相关软件： LERS；M-MACBETH；可视化UTA… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
农业部 41篇文献引用(2013–2023) 软件作者： 阿尔伯特·比费特；杰夫·霍姆斯；伯恩哈德·普法林格 相关软件： UCI-ml；威卡；Scikit… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
幻灯片连接 55份文件引用(2003–2023) 软件作者： 法比奥·德科尔；库兹涅佐夫，尤里·A。 相关软件： TC-HAT；自动；MATCONT… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
亚当斯 52篇文献引用(2005–2022) 软件作者： 美商麦格尼轩 相关软件： Matlab；ANSYS；纳斯特朗… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
AUTO2000（自动2000） 54篇文献引用(2003–2023) 软件作者： 尤西比乌斯·多德尔（Eusebius Doedel），贡献者：阿兰·查普内斯（Alan Champneys）、法比奥·德科尔（Fabio Dercole）、托马斯·费尔格雷夫（Thomas Fairgrife）、尤里·库兹涅佐夫（Yuri Kuznetsov）、巴特·奥尔德曼（Bart Oldeman）、兰迪·帕芬罗斯（Randy Paffenroth）、 相关软件： HomCont；自动；MATCONT… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
生物CHAM 52篇文献引用(2005–2024) 软件作者： Chabrier，N.、Fages，F.、Soliman，S。 相关软件： 生物-PEPA；棱镜；政治公众人物协议… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
K校准仪 52篇文献引用(2007–2024) 软件作者： 罗什、格里戈尔等人 相关软件： 莫德；K工具；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
StFinMetrics公司 52篇文献引用(2003–2024) 软件作者： 埃里克·齐沃特（Eric Zivot）；王家辉 相关软件： R；预测；预测… 主要字段： 动力系统与遍历理论（37-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
CeTA公司 49篇文献引用(2009–2023) 软件作者： 雷内·蒂曼；克里斯蒂安·斯特纳格尔 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；交换代数（13-XX）…
UPPAAL TIGA公司 引用于47份文件(2007–2023) 软件作者： Behrmann，G.、Cougnard，A.、David，A.、Fleury，E.、Larsen，K.G.、Lime，D。 相关软件： Uppaal；棱镜；Synthia… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
仿真软件 48篇文献引用(2004–2024) 软件作者： 国家仪器公司 相关软件： Matlab；分数阶混沌系统；美国有线电视新闻网… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；变形固体力学（74-XX）…
廷巴克 49篇文献引用(2001–2023) 软件作者： 托马斯·杰奈特；Yohan Boichut；贝诺·博伊尔；Valérie Viet Triem Tong。。 相关软件： 莫德；AVISPA；ELAN… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）…
火花 46篇文献引用（2015年至2024年） 软件作者： Zaharia M、Chowdhury M、Franklin MJ、Shenker S、Stoica I 相关软件： MapReduce；Hadoop；Dryad… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
IF-2.0型 38篇文献引用(2002–2022) 软件作者： 马里乌斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
nuXmv（数字） 45篇文献引用(2015–2023) 软件作者： 罗伯特·卡瓦达、亚历山德罗·西马蒂、米歇尔·多里加蒂、阿尔贝托·格里乔、亚历桑德罗·马里奥蒂、安德烈亚·米凯利、塞尔吉奥·莫弗、马可·罗维里、斯特凡诺·托内塔 相关软件： z3；NuSMV；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
TREX公司 39篇文献引用(2001–2021) 软件作者： Aurore Annichini；艾哈迈德·博阿贾尼；米哈埃拉·西希雷亚努 相关软件： 快速；高科技；LASH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
SMRSOFT公司 44篇文献引用（2011年-2023年） 软件作者： 切西，G。 相关软件： 粪便；塞杜米；YALMIP… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
快速的 引用于42份文件(2005–2023) 软件作者： Bardin，S.、Leroux，J.、Finkel，A.、Petrucci，L。 相关软件： TREX公司；睫毛；阿斯匹克… 主要字段： 数学逻辑与基础（03-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
前缀库 40篇文献引用(2015–2023) 软件作者： 尼古拉斯·马泰；托比·沃尔什 相关软件： 佩尔马洛斯；PLMIX公司；Pmr… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者： 金·拉森（Kim G.Larsen）、王毅（Wang Yi）、保罗·佩特森（Paul Pettersson）、亚历山大·戴维（Alexandre David）、布莱恩·尼尔森（Brian Nielsen）、阿恩·斯科（Arne Skou）、约翰·哈坎森（John Hákansson）、雅各布·伊勒姆·拉斯穆森（Jacob Illum Rasmussen） 相关软件： Uppaal；克罗诺斯；高科技… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
船长 39篇文献引用(2006–2023) 软件作者： 师彼得·扬 相关软件： Matlab；CONTSID；系统标识工具箱… 主要字段： 统计学（62-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
GreatSPN 1.7 38篇文献引用(1995–2012) 软件作者： Chiola，G。；弗朗西斯科尼斯，G。；盖塔，R。；里巴多，M。 相关软件： GreatSPN；SPNP；CADP… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MARC公司 41篇文献引用(1979–2022) 软件作者： 美商麦格尼轩 相关软件： MSC公司。MARC；ABAQUS；LS-DYNA… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
日/日 40篇文献引用(2002–2022) 软件作者： 细辛，尤金；Dang，Thao；奥德·马勒 相关软件： 高科技；PHAVer；SpaceEx… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
TR-BDF2型 40篇文献引用(1996–2023) 软件作者： 何西阿，M.E。；沙姆平，L.F。 相关软件： 罗德斯；Matlab；MATLAB ODE套件… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
DDDAS系统 在30份文件中引用(2008–2023) 软件作者： 弗雷德里卡·达雷马 相关软件： EnKF；亚当；Exshall… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
模块 39篇文献引用(1985–2018) 软件作者： 伯纳杜，M。；哈西姆，A。；Laug，P。；转向，D。；维德拉斯库，M。；E.萨尔特尔。 相关软件： mpi4py；UFL；宠物… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
DASPK 3.0版 38篇文献引用(1999–2021) 软件作者： 李胜泰；琳达·佩佐德 相关软件： ADIFR；日晷；RODAS… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
XGobi公司 28篇文献引用(1995–2020) 软件作者： Swayne DF、Cook D、Buja A 相关软件： R；GGobi；ggplot2… 主要字段： 凸和离散几何（52-XX）；统计学（62-XX）；计算机科学（68-XX）…
CVODES公司 36篇文献引用(2003–2023) 软件作者： 塞尔维亚人；A.C.欣德马什 相关软件： 日晷；ADIC；青少年C… 主要字段： 常微分方程（34-XX）；统计学（62-XX）；数值分析（65-XX）…
黛西 32篇文献引用（2001年至2022年） 软件作者： B.De Moor、P.De Gersem、B.De Schutter、W.Favoreel 相关软件： FastICA；ICALAB；SLRA… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）…
MWB公司 34份文件引用(1995–2022) 软件作者： 比约恩·维克多（Björn Victor）、法伦·莫勒（Faron Moller） 相关软件： 彼得鲁乔；棱镜；图片… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
沃夫兰 35篇文献引用（1999年至2022年） 软件作者： 埃里克·韦贝克（Eric Verbeek）；Wil M.P.范德阿尔斯特。 相关软件： PNML；咩咩叫；WSAT… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
WSAT公司 29篇文献引用(2004–2019) 软件作者： 傅湘；布尔坦、特夫菲克；苏建文 相关软件： BPEL2PN；CADP；旋转… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
CORA公司 35篇文献引用(2016–2023) 软件作者： 马蒂亚斯·阿尔霍夫（Matthias Althoff）、尼古拉斯·科奇杜姆普（Niklas Kochdumper） 相关软件： 流量*；SpaceEx；C2e2… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
模仿者 34份文件引用(1996–2023) 软件作者： 埃蒂安·安德烈 相关软件： Uppaal；高科技；PPL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
VerICS公司 34份文件引用(2005–2023) 软件作者： 兹布热兹尼（Zbrzezny，Andrzej）；沃兹纳、博·德·泽纳 相关软件： MCMAS；MCK；MOCHA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
违约 32篇文献引用(2011–2022) 软件作者： 亚历山大·顿泽 相关软件： S-TaLiRo；流量*；SpaceEx… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
GEPASI公司 29篇文献引用(1996–2016) 软件作者： P.门德斯 相关软件： 电子细胞；虚拟细胞；SCAMP… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
K螺母 35篇文献引用(2007–2023) 软件作者： 罗伯特·萨莱 相关软件： DDE-BIFTOOL；PDDE-CONT；MATCONT… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
PDDE-CONT公司 35篇文献引用(1997–2023) 软件作者： 德克·鲁斯；罗伯特·萨莱 相关软件： DDE-BIFTOOL；克努特；自动… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
PMaude公司 在30份文件中引用(2005–2023) 软件作者： 古尔·阿加；何塞·梅塞盖尔（JoséMeseguer）；库什克森 相关软件： 莫德；PVeStA；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
日本运通银行 25篇文献引用(2002–2022) 软件作者： 克劳斯·哈维隆德；格里高·罗什乌 相关软件： Java路径查找器；莫德；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
恰当的 33篇文献引用(2015–2023) 软件作者： Schlachter，U.等人。 相关软件： github；石化；Synet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
格尔达 33篇文献引用(1996–2018) 软件作者： 彼得·昆克尔（Peter Kunkel）、沃尔克·梅尔曼（Volker Mehrmann）、沃纳·拉思（Werner Rath）和约格·威克特（Jörg Weickert） 相关软件： GENDA公司；罗德斯；Modelica… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
SALib公司 27篇文献引用(2018–2023) 软件作者： 乔恩·赫尔曼（Jon Herman）、威尔·亚瑟（Will Usher） 相关软件： 蟒蛇；github；SAFE工具箱… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
聪明的_ 23篇文献引用(2000–2018) 软件作者： Ciardo，G。；Jones，R.L。；Miner，A.S.公司。；R·西米尼亚努。 相关软件： 自旋蛋白；棱镜；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DDE跟踪 33篇文献引用(2010–2023) 软件作者： Breda，D.，Maset，S.，Vermiglio，R。 相关软件： DDE-BIFTOOL；Matlab；GradSamp… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…