SPHIN公司 5份文件引用（2006年至2017年） 软件作者： 胡松松（Hosung Song） 相关软件： PHAVer；高科技；旋转… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
TenRes公司 5份文件引用(2016–2020) 软件作者： 侯赛因·普尔（Hossein Poor），贾马尔（Jamal）；克莱门斯·G·拉布。；乔治·雷根斯堡 相关软件： Mathematica；矿石模块；枫树… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；算子理论（47-XX）…
模拟Insydes 引用于1份文件（2011年） 软件作者： 马提亚斯·豪泽；克里斯蒂安·萨尔泽（Christian Salzig）；亚历山大·德雷耶 相关软件： 数学软件 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ASDeX公司 引用于1份文件(2018) 软件作者： 马明宇（Mingyu Ma）、拉尔斯·赫德里奇（Lars Hedrich）、克里斯汀·斯波勒（Christian Sporrer） 相关软件： MiniSat；通过；AMT… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）