ILOG时间表 88篇文献引用(1996–2023) 软件作者： C·勒帕佩 相关软件： CPLEX；炸薯条；JOBSHOP… 主要字段： 一般代数系统（08-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
SAMRAI公司 51篇文献引用(2002–2023) 软件作者： 理查德·霍农（Richard D.Hornung）。；斯科特·科恩。 相关软件： PETSc；炒作；帕拉梅什… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
区域设置 引用于53份文件(1999–2024) 软件作者： 克莱门斯·巴拉林 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；代数几何（14-XX）…
RealPaver公司 51篇文献引用(2003–2017) 软件作者： 劳伦特·格兰维尔（Laurent Granvilliers） 相关软件： 数字；进入PT_90；监狱… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
IF-2.0型 38篇文献引用(2002–2022) 软件作者： 马吕斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
Chebfun2号机组 45篇文献引用(2013–2023) 软件作者： 亚历克斯·汤森；劳埃德·N·特里费琴。 相关软件： 切布冯；Matlab；DLMF… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；近似和展开（41-XX）…
帕斯卡-SC 引用于27份文件(1984–2016) 软件作者： 鲍伦德（Gerd Bohlender）；乌尔里希，基督徒；沃尔夫·冯·古登堡（Wolff von Gudenberg，Jürgen）；路易·B·拉尔。 相关软件： 杰克；枫树；DiffSharp… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿尔多 26篇文献引用(1997–2014) 软件作者： aldor.org；曼纽尔·布朗斯坦 相关软件： AXIOM；枫树；SageMath… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；范畴理论；同调代数（18-XX）…
BacSim公司 21篇文献引用(2000–2021) 软件作者： J.Kreft、G.Booth、J.W.T.Wimpenny 相关软件： AgentCell；iDynoR；Sylamer… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；计算机科学（68-XX）…
MARTE公司 10篇文献引用(2009–2017) 软件作者： 对象管理集团。 相关软件： SysML；Uppaal；旋转… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
IPSEN公司 20篇文献引用(1991–2010) 软件作者： 安迪·舒尔 相关软件： mctoolbox；LAPACK；PostgreSQL… 主要字段： 历史与传记（01-XX）；线性代数和多线性代数；矩阵理论（15-XX）；算子理论（47-XX）…
ANCFIS公司 14篇文献引用(2012–2023) 软件作者： 陈志飞；萨拉·阿格哈尼；詹姆斯·曼；斯科特·迪克 相关软件： ANFIS；TISEAN公司；FLANN… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
美赞臣 9份文件引用(2006–2019) 软件作者： Bierman GM、Parkinson MJ、Pitts AM 相关软件： 羽量级Java；中量级爪哇；旋风… 主要字段： 计算机科学（68-XX）
PMAD公司 12份文件引用(2007–2022) 软件作者： L.F.沙姆平 相关软件： Matlab；MATLAB实验；mftoolx… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
QCD回路 9份文件引用(2015–2022) 软件作者： Stefano Carrazza、R.Keith Ellis、Giulia Zanderighi 相关软件： 表格；COLLIER公司；OneLOop… 主要字段： 数值分析（65-XX）；量子理论（81-XX）
卡塔布兰卡 7份文件引用(2003–2020) 软件作者： W.B.范德海登。；Dendy，E.D。；新墨西哥州帕迪亚尔·科林斯。 相关软件： BLAS；睡衣；拉帕克… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
羽毛特征 6篇文献引用(2008–2023) 软件作者： 路易吉·利库里；阿诺·斯皮瓦克 相关软件： 羽量级Java；JML；埃菲尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
simpA公司 5份文件引用(2002–2012) 软件作者： 亚历山德罗·里奇；米尔科·维罗利；朱利奥·皮安卡斯特利 相关软件： 羽量级Java；CArtAgO；重新规范… 主要字段： 计算机科学（68-XX）
固体4泡沫 6篇文献引用(2021–2023) 软件作者： P.Cardiff、A.Karać、P.De Jaeger、H.Jasak、J.Nagy、A.Ivanković等。图科维奇 相关软件： OpenFOAM；代码管理员；isoAdvector… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
DeepSORT公司 4份文件引用(2020–2022) 软件作者： 尼古拉·沃伊克（Nicolai Wojke）、亚历克斯·贝利（Alex Bewley）、迪特里希·保卢斯（Dietrich Paulus） 相关软件： YOLO公司；VoxelNet；OverFeat… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
MFE公司 4份文件引用(2012–2023) 软件作者： 弗朗西斯科·杜兰；卡米洛·罗查；何塞·M·阿尔瓦雷斯。 相关软件： 莫德；ITP；P审计… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
冒险类游戏 2份文件引用(2008–2010) 软件作者： Barequet G、Duncan C A、Kumar S。 相关软件： ReMESH公司；花茎；Gerris… 主要字段： 数值分析（65-XX）
算法1020 引用于3份文件(2022–2023) 软件作者： 亨德里克·斯佩利尔斯 相关软件： 正规化工具；算法999 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）
对象货币 引用于3份文件（1994年至2013年） 软件作者： 迈克尔·哈努斯（Michael Hanus）；Frank Huch；菲利普·尼德劳 相关软件： 奥兹；巴贝尔；PAKCS… 主要字段： 计算机科学（68-XX）
SACHS公司 引用于3份文件(2009–2015) 软件作者： 安德里亚·科尔哈塞；迈克尔·科尔哈斯 相关软件： OMDoc；MMT；Excel… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
超级计算机 引用于3份文件(2010–2023) 软件作者： 克里斯蒂安·温泽尔·本纳（Christian Wenzel-Benner）；格拉夫、延斯 相关软件： 麦克利埃塞；mCrypton；高度… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
UPC公司++ 1份文件引用(2018) 软件作者： 郑毅力；阿米尔·卡米尔（Amir Kamil）；迈克尔·德里斯科尔（Michael B.Driscoll）；鸿章山；凯瑟琳·耶利克 相关软件： 小教堂；军团；Kokkos… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
色度 2份文件引用(2018–2022) 软件作者： 霍诺拉托·齐梅尔（Honorato Zimmer），里卡多（Ricardo）；安德鲁·米勒（Andrew J.Millar）。；戈登·普洛金（Gordon D.Plotkin）。；扎迪利斯，阿格里斯 相关软件： PySB；BioNetGen；eBCGen… 主要字段： 生物学和其他自然科学（92-XX）
圣人++ 2份文件引用(2003–2010) 软件作者： 弗朗索瓦·博丹、彼得·贝克曼、丹尼斯·甘农、雅各布·戈沃尔斯、斯里尼瓦斯·纳拉亚纳、苏雷什·斯里尼瓦斯、比塔·温尼卡 相关软件： 棒 极 了；STLlint；ParaWise… 主要字段： 计算机科学（68-XX）
NEVESIM公司 1份文件引用(2020) 软件作者： Dejan Pecevski、David Kappel、Zeno Jonke 相关软件： 神经元；github；CEPAGE公司 主要字段： 生物学和其他自然科学（92-XX）
QuaSiMo公司 在0个文档中引用 软件作者： Thien Nguyen、Lindsay Bassman、Phillip C.Lotshaw、Dmitry Lyakh、Alexander McCaskey、Vicente Leyton Ortega、Raphael Pooser、Wael Elwasif、Travis S.Humble、Wibe A.de Jong 相关软件： SciPy；开放费米子；QCOR… 主要字段： –
屋顶PP 1份文件引用(2021) 软件作者： Hay-Schmidt，Lasse；Robert Glück；Cservenka，Martin Holm；Haulund，周二 相关软件： 未决VM 主要字段： 计算机科学（68-XX）；量子理论（81-XX）