iPiano公司 142篇文献引用(2014–2024) 软件作者： Ochs，Peter；陈云锦；托马斯·布罗克斯（Thomas Brox）；托马斯·波克 相关软件： iPiasco；UNLocBoX；L-BFGS… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
工作分解结构 137篇文献引用(2013–2024) 软件作者： 彼得·弗里兹莱维奇 相关软件： R；FDRSeg；变更点… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
SVMTorch公司 在48份文件中引用(2001–2021) 软件作者： 罗南·库洛伯特；萨米·本吉奥 相关软件： UCI-ml；LIBSVM；SVMlight… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DSDP5型 30篇文献引用(2004–2023) 软件作者： 史蒂文·本森（Steven J.Benson）；银鱼叶 相关软件： SDPT3；SeDuMi公司；SDPA… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
垫片 30篇文献引用(2015–2023) 软件作者： 安维什·科穆拉维利（Anvesh Komuravelli）；阿里·古芬克尔（Arie Gurfinkel）；萨加·查基 相关软件： z3；CVC4；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
HOL/旋转 22篇文献引用(2000–2017) 软件作者： Bhargavan，Karthikeyan；卡尔·A·冈特。；达沃·奥布拉多维奇 相关软件： 自旋蛋白；Uppaal；AODV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ASTRO-DF公司 19份文件引用(2018–2023) 软件作者： Sara Shashaani；Fatemeh S.哈希米。；帕苏帕蒂，拉格 相关软件： UOBYQA；R样条；野马… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
COCA公司 9份文件引用(1993–2020) 软件作者： 伯恩德·菲舍尔；简·摩德西茨基 相关软件： 施瓦兹-克里斯托菲尔；SC工具箱；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；复变量函数（30-XX）；偏微分方程（35-XX）…
相互作用方程吸引流形 6篇文献引用(2022–2023) 软件作者： 弗朗西斯科·帕塔奇尼。；德扬·斯莱普切夫 相关软件： MOEA/D；CuPy；Matplotlib… 主要字段： 偏微分方程（35-XX）；全局分析，流形分析（58-XX）；数值分析（65-XX）…
PRECiSA公司 6篇文献引用(2018–2022) 软件作者： 劳拉·蒂托洛；马可·A·费利乌。；玛丽亚诺·莫斯卡托；塞萨尔·穆尼奥斯。 相关软件： RangeLab；z3；ASTREE… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
EnKF-MC公司 5份文件引用(2018–2022) 软件作者： Elias D.Nino、Adrian Sandu、Xinwei Deng 相关软件： EnKF；ElemStatLearn；GitHub… 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
流量 1份文件引用(2016) 软件作者： 奥辛格、温弗里德；哈拉尔德·霍夫斯塔特；科赫，奥思玛 相关软件： GitHub；朱莉娅；OEIS公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
ISOKANN公司 1份文件引用(2024) 软件作者： 西科尔斯基，A。；Ribera Borrell，E。；M.韦伯。 相关软件： – 主要字段： 量子理论（81-XX）；统计力学，物质结构（82-XX）