HysterSoft公司 9份文件引用(2014–2022) 软件作者： 米哈伊·迪米安；佩特鲁·安德烈 相关软件： github；KronFit公司 主要字段： 近似和展开（41-XX）；粒子和系统力学（70-XX）；可变形固体力学（74-XX）…
Jordan范式 8份文件引用(2016–2024) 软件作者： 雷内·蒂埃曼；山田秋久 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；交换代数（13-XX）；数值分析（65-XX）…
ROSCoq公司 2份文件引用(2015–2018) 软件作者： 阿南德，阿比舍克；克内珀，罗斯 相关软件： Coq公司 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
BRL-CAD公司 1份文件引用(2016) 软件作者： BRL-CAD贡献者 相关软件： github；FOILGEN公司；JBLADE… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；系统论；控制（93-XX）
DryGASCON公司 1份文件引用(2022) 软件作者： 梁慧聪；Mesnager，Sihem；王美琴 相关软件： github 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
OpenEaagles公司 1份文件引用(2016) 软件作者： —— 相关软件： github；FOILGEN公司；JBLADE… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；系统论；控制（93-XX）