棱镜 498份文件引用(2001–2023) 软件作者： 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 相关软件： MRMC；风暴；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
MC队列 163篇文献引用(2003–2024) 软件作者： 亨克·蒂杰姆斯 相关软件： github；R；EMpht… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
MRMC公司 71篇文献引用(2006–2023) 软件作者： Joost-Pieter Katoen；亚琛工业大学 相关软件： 棱镜；Uppaal公司；CADP… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
伦敦商学院 在16份文件中引用(2010–2022) 软件作者： 迈克尔·佩德森（Michael Pedersen）；戈登·普洛金（Gordon D.Plotkin）。 相关软件： 生物-PEPA；BioNetGen；生物活性炭… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
可视化DSD 15篇文献引用(2013–2023) 软件作者： Lakin，M.R.、Youssef，S.、Polo，F.、Emmott，S.和Phillips，A。 相关软件： 棱镜；z3；Z34Bio… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）…
侵蚀 14篇文献引用(2017–2024) 软件作者： Cardelli，L.、Tribastone，M.、Tschaikowski，M.、Vandin，A。 相关软件： CLUE；z3；NFsim… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
APNN-工具箱 12份文件引用(1999–2022) 软件作者： 彼得·巴赫霍尔茨（Peter Buchholz）；马库斯·费舍尔；彼得·肯珀；卡斯滕·泰珀 相关软件： 棱镜；政治公众人物协议；LDQBD… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
斯皮科 10篇文献引用(2007–2020) 软件作者： 科特勒，塞林；塞德里克·侯赛因；约阿希姆·尼伦 相关软件： 生物-PEPA；BioNetGen；BlenX… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
SABRE公司 5份文件引用(2011–2016) 软件作者： Didier，F.、Henzinger，T.A.、Mateescu，M.、Wolf，V 相关软件： 棱镜；玛丽；生物-PEPA… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DiPro公司 4份文件引用(2014–2023) 软件作者： 侯赛因·阿尔贾扎尔（Husain Aljazzar）、弗洛里安·雷特纳·费舍尔（Florian Leitner-Fischer）、斯特凡·洛伊（Stefan Leue）、迪米塔尔·西梅诺夫（Dimitar Simeonov） 相关软件： 棱镜；漫画；z3… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
信息 4份文件引用(2009–2015) 软件作者： Ernst Moritz Hahn、Holger Hermanns、Björn Wachter、Lijun Zhang 相关软件： 棱镜；APMC；SBML测试套件… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
PRISM-PSY公司 4份文件引用(2018) 软件作者： 乔什卡，M.，Pilař，P.，Paoletti，N.，Brim，L.，Kwiatkowska，M。 相关软件： 棱镜；PROPhESY公司；PPL… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
CCMC公司 2份文件引用(2013) 软件作者： 高，杨；恩斯特·莫里茨·哈恩（Ernst Moritz Hahn）；詹乃军；张丽君 相关软件： MRMC；棱镜 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
SimInf公司 1份文件引用(2023) 软件作者： Stefan Widgren、Pavol Bauer、Stefan Engblom 相关软件： R；灵活的；EpiModel… 主要字段： 统计学（62-XX）
SOC溶液4L 2份文件引用(2008–2014) 软件作者： 阿扎托，J.D。；Krawczyk，J.B。 相关软件： —— 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）…
WBR-2019 2份文件引用(2019–2022) 软件作者： James N.Walker。；安德鲁·布莱克（Andrew J.Black）。；Joshua V.罗斯。 相关软件： AABC；贝叶斯DA；MLM和ABC的保密性… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…