凯利 引用于664份文件(1995–2024) 软件作者： C.T.凯利。 相关软件： minpack；L-BFGS；Matlab… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
水银 75篇文献引用(1994–2022) 软件作者： mercurylang.org网站 相关软件： 哈斯克尔；幼儿保育和教育；咖喱… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；统计学（62-XX）…
捕图者 28篇文献引用(2001–2014) 软件作者： I.J.Cox、M.L.Miller、S.M.Omohundro、P.N.Yianilos、， 相关软件： VisualSEEk；PicToSeek；NeTra… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
Wolfram演示 49篇文献引用(2007–2023) 软件作者： 沃尔夫拉姆 相关软件： Mathematica；组织环境信息系统；iRRAM… 主要字段： 组合数学（05-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
CoFI公司 40篇文献引用(1997–2017) 软件作者： 彼得·莫塞斯（Peter D.Mosses）。 相关软件： CASL；ATERM；玛雅… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；一般代数系统（08-XX）…
SETL公司 28篇文献引用(1986–2023) 软件作者： 施瓦茨，J.T。；杜瓦，R.B.K。；杜宾斯基，E。；肖恩伯格，E。 相关软件： Z；JSetL；裁判… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；一般代数系统（08-XX）…
EXACUS考试 21篇文献引用(2001–2011) 软件作者： Eric Berberich；阿诺·艾根威利（Arno Eigenwillig）；Michael Hemmer；苏珊·赫特（Susan Hert）；Kettner，Lutz；库尔特·梅尔霍恩（Kurt Mehlhorn）；约阿希姆·赖切尔；苏珊·施密特；Elmar Sch“omer；Nicola Wolpert 相关软件： CGAL；LEDA；隔离… 主要字段： 总体主题；藏品（00-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
K-Java公司 17篇文献引用(2015–2023) 软件作者： 丹尼斯·博格德纳什、格里戈·罗什 相关软件： K校准仪；莫德；KJS… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）
MA42型 16篇文献引用(1994–2004) 软件作者： 达夫，I。；J·斯科特。 相关软件： BLAS；HSL；MA32… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
Emacs公司 15篇文献引用(1991–2013) 软件作者： Michael A.Schoonover。；约翰·S·鲍伊（John S.Bowie）。；威廉·R·阿诺德。 相关软件： 不及物动词；OCaml；自动… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；计算机科学（68-XX）
RECFMM公司 6篇文献引用(2016–2020) 软件作者： 张波；黄景芳；尼科斯·P·皮西亚尼斯。；孙晓白 相关软件： DASHMM；ScalFMM；Chebfun… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；势能理论（31-XX）；数值分析（65-XX）…
FloWaveNet公司 4份文件引用(2021–2023) 软件作者： Sungwon Kim、Sang-gil Lee、Jongyoon Song、Jaehyeon Kim和Sungroh Yoon 相关软件： 辉光；低碳所；PyTorch… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
分析 3份文件引用（2011年至2017年） 软件作者： Lumina决策系统 相关软件： GeNIe；视觉UTA；签证… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CellFIT公司 2份文件引用(2018–2019) 软件作者： Brodland G W、Veldhuis J H、Kim S、Perrone M、Mashburn D和Hutson M S 相关软件： PhysiCell；VirtualLeaf；LBIB单元 主要字段： 可变形固体力学（74-XX）；生物学和其他自然科学（92-XX）
Jinja而非Java 2份文件引用(2016–2018) 软件作者： 格温·克莱因（Gerwin Klein）；托比亚斯·尼普科 相关软件： 存档正式证据；Isabelle/HOL；CompCertTSO… 主要字段： 计算机科学（68-XX）
LPMD公司 2份文件引用（2010年至2021年） 软件作者： 塞尔吉奥·戴维斯；洛约拉，克劳迪娅；费利佩·冈萨雷斯（Felipe Gonz'alez）；佩拉塔，约阿库 相关软件： DL_POLY_3；发霉 主要字段： 量子理论（81-XX）；统计力学，物质结构（82-XX）
摩尔概率 1份文件引用（2018年） 软件作者： Davis，I.W.，Leaver-Fay，A.，Chen，V.B.，Block，J.N.，Kapral，G.J.，Wang，X.，Murray，L.W.，Arendall，W.B.，Snoeyink，J.，Richardson，J.S.等人。 相关软件： 地理PCA 主要字段： 微分几何（53-XX）；统计学（62-XX）
鲍勃 在0个文档中引用 软件作者： Anjos A、El-Shafey L、Wallace R、Günther M、McCool C、Marcel S。 相关软件： SIDEKIT公司；VoxCeleb；校准… 主要字段： ——
CMPL公司 1份文件引用(2016) 软件作者： Steglich，M。 相关软件： 库恩；COIN-OR/GAMSLinks；抄送… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DyLP公司 1份文件引用(2016) 软件作者： 哈弗，L。 相关软件： 库恩；COIN-OR/GAMSLinks；抄送… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…