SQEMA公司 40篇文献引用(2005–2021) 软件作者： 威廉·康雷迪（Willem Conradie）；瓦伦丁·戈兰科 相关软件： Isabelle/HOL；认识逻辑；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
规则ML 引用于22份文件(2002–2022) 软件作者： 安德烈亚斯·埃伯哈特 相关软件： swrl；三倍的；沙达拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PointCNN（美国有线电视新闻网） 13份文件引用(2019–2023) 软件作者： 李阳彦、吕布、孙明超、吴伟、狄新翰、陈宝全 相关软件： PointNet；VoxNet；VoxelNet… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；计算机科学（68-XX）…
GITA公司 8份文件引用(1990–2006) 软件作者： V.Basios、N.A.Chekanov、B.L.Markovski、V.A.Rostovtsev、S.I.Vinitsky 相关软件： 减少；LINA01；pchip… 主要字段： 历史与传记（01-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
集团IP 5份文件引用(2020–2023) 软件作者： Upalaparna Banerjee、Joydep Chakrabortty、Suraj Prakash、Shakel Ur Rahaman 相关软件： 基本发电机；DEFT；FlavorKit… 主要字段： 粒子和系统力学（70-XX）；可变形固体力学（74-XX）；经典热力学，传热（80-XX）…
LINA01系列 6篇文献引用(2005–2006) 软件作者： 于。A.Ukolov、N.A.Chekanov、A.A.Gusev、V.A.Rostovtsev、S.I.Vinitsky、Y.Uwano 相关软件： GITA；枫树；pchip… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TAMPR公司 6篇文献引用(1997–2011) 软件作者： 詹姆斯·博伊尔（James M.Boyle）。；特伦斯·J·哈默。；温特，维克多·L。 相关软件： Stratego；GHC；ATERM… 主要字段： 计算机科学（68-XX）
TPtool公司 6篇文献引用(2014–2017) 软件作者： 萨博尔斯·纳吉；佐尔坦·彼得斯；彼得·巴拉尼 相关软件： Qhull；YALMIP；SDPT3… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
交响乐GPR 2份文件引用(2021–2023) 软件作者： 凯萨琳娜·拉特（Katharina Rath）；克里斯托弗·G·阿尔伯特。；伯恩德·比施尔；乌多·冯·图桑 相关软件： github；LBFGS-B；proFit… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…