QOCA公司 引用于27份文件(1970–2018) 软件作者： Kim万豪酒店；Chok，Sitt Sen先生 相关软件： 天蓝色；食火鸡；HiRise… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
皮塔 24篇文献引用(2010–2023) 软件作者： 法布里齐奥·里古齐（Fabrizio Riguzzi）；Swift，Terrance公司 相关软件： ProbLog；CP逻辑；棱镜… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
火星 14篇文献引用(2014–2023) 软件作者： 张，青海；亚伦·福格尔森 相关软件： GePUP；前列素；Gerris… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
判决 10篇文献引用(2012–2023) 软件作者： Stimpson，C.J。；Ernst，C.D。；克努普，P。；佩贝，P.P。；汤普森博士。 相关软件： 三角形；NEF++；MAXFLOW… 主要字段： 近似和展开（41-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
Polymake.jl公司 8份文件引用(2021–2024) 软件作者： Marek Kaluba、Benjamin Lorenz、Sascha Timme 相关软件： 多面手；奥斯卡；同伦连续… 主要字段： 代数几何（14-XX）；凸和离散几何（52-XX）；流形和细胞复合体（57-XX）…
A-SLEIPNNIR公司 5份文件引用(2019–2022) 软件作者： 普列托，胡安·路易斯；詹姆·卡皮奥 相关软件： PRAgMaTIc；bamg；BL2D-V2… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
传感器/NRPy+ 5份文件引用(2019–2023) 软件作者： Ian Ruchlin、Zachariah B.Etienne、Thomas W.Baumgarte 相关软件： SpECTRE公司；GRaM-X；SpEC… 主要字段： 全局分析，流形分析（58-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
度量学习 2份文件引用(2021–2023) 软件作者： 威廉·德·瓦泽尔（William de Vazelhes）；凯里，Cj；唐元；Nathalie Vauquier；奥雷连·贝雷特 相关软件： pyDML；LMNN；dml… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；地球物理学（86-XX）
Guimoo公司 1份文件引用(2016) 软件作者： INRIA Guimoo团队；乌尔里希·范·登·海克、托马斯·西蒙里克和托马斯·维隆达 相关软件： 苯解；决定IT；专家选择… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）
最小有效值 1份文件引用(2009) 软件作者： Jewett，A.I。；黄，C.C。；铁蛋白，T.E。 相关软件： EzyPred；信号-3L；信号-CF… 主要字段： 组合数学（05-XX）；生物学和其他自然科学（92-XX）
莫斯科 2份文件引用(2018–2019) 软件作者： 温斯科维奇，J.E。；洛杉矶哈里斯。；塔皮亚，J.-J。；Faeder，J.R。；G.E.马莱。 相关软件： 疏松；沟槽；标尺折弯器… 主要字段： 计算机科学（68-XX）
DREAM工具 1份文件引用(2017) 软件作者： 科克莱尔，T。；Bansal先生。；裸露，C。；比拉尔，E。；博特，B。；Chaibub Neto，E。；Eduate，F。；de la Fuente，A。；Gönen，M。；南希尔。 相关软件： GeneNetWeaver；hiPathDB；PREMER… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）