棱镜 498份文件引用(2001–2023) 软件作者： 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 相关软件： MRMC；风暴；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
PRISM-游戏 30篇文献引用(2013–2022) 软件作者： 陈、陶璐；Forejt，Vojtěch；公司；玛尔塔·奎亚特科夫斯卡；戴维·帕克；西马提斯，艾斯蒂斯 相关软件： 棱镜；主旨；MCMAS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
iscas-Mc公司 11份文件引用(2016–2023) 软件作者： Hahn，E.M.、Li，Y.、Schewe，S.、Turrini，A.、Zhang，L。 相关软件： 棱镜；风暴；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
GPU棱镜 4份文件引用(2016–2021) 软件作者： 博什纳奇奇D、埃德尔坎普S、苏鲁夫斯基D、威伊斯A 相关软件： CUDA；mCRL2；棱镜… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
AJPF公司 2份文件引用(2013–2018) 软件作者： 路易斯·丹尼斯（Louise A.Dennis）。；Michael Fisher；马特·韦伯斯特 相关软件： MCMAS；自旋蛋白；棱镜… 主要字段： 计算机科学（68-XX）
CCMC公司 2份文件引用(2013) 软件作者： 高，杨；恩斯特·莫里茨·哈恩（Ernst Moritz Hahn）；詹乃军；张丽君 相关软件： MRMC；棱镜 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
EthVer公司 1份文件引用(2021) 软件作者： 尤卡斯·马祖雷克 相关软件： 地幔；甲氰菊酯；Why3… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）