PRISM-游戏 在30份文件中引用(2013–2022) 软件作者： 陈、陶璐；Forejt，Vojtěch；公司；玛尔塔·奎亚特科夫斯卡；大卫·帕克；西马提斯，艾斯蒂斯 相关软件： 棱镜；主旨；MCMAS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ATL公司 12份文件引用(2008–2021) 软件作者： 弗雷德里克·茹奥；弗雷迪·阿利莱尔；让·贝齐文；伊凡·库尔捷夫 相关软件： 霍尔效应；UML2合金；AGG… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
TATL公司 7份文件引用(2009–2017) 软件作者： 艾米莉·大卫 相关软件： CL校准仪；VAMPIRE公司；TRP++… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
散射 3份文件引用(2019–2023) 软件作者： McCarthy DJ、Campbell KR、Lun ATL、Willis QF 相关软件： OSCA；生物导体；t-SNE… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）