清爽 35篇文献引用（1994年-2023年） 软件作者： M Heiner、M Herajy、F Liu、C Rohr、M Schwarick 相关软件： 玛丽；CPN/工具；日晷… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；差分方程和函数方程（39-XX）；计算机科学（68-XX）…
TimeNET（时间网） 28篇文献引用(1995–2022) 软件作者： 德语，Reinhard；克里斯蒂安·凯林（Christian Kelling）；阿明·齐默尔曼（Armin Zimmermann）；贡特霍梅尔 相关软件： GreatSPN；SPNP；GreatSPN 1.7… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
背心 23篇文献引用（2001年至2016年） 软件作者： Stankovic A、Wang H、Humphrey M、Zhu R、Poornalingam R、Lu C 相关软件： 托勒密；CPLEX；Uppaal… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；功能分析（46-XX）；概率论与随机过程（60-XX）…
XtremWeb 10篇文献引用(2001–2017) 软件作者： —— 相关软件： BOINC公司；夏洛特；标枪++… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伽利略 10篇文献引用(2000–2017) 软件作者： Joanne Bechta Dugan、Kevin J.Sullivan、David Coppit 相关软件： NuSMV；DFTCalc；DIFtree… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
DFTCalc公司 4份文件引用(2015–2021) 软件作者： F.Arnold、A.Belinfante、D.G.Freark van der Berg、M.Stoelinga 相关软件： Uppaal；棱镜；FaultTree+… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
信息 4份文件引用(2009–2015) 软件作者： Ernst Moritz Hahn、Holger Hermanns、Björn Wachter、Lijun Zhang 相关软件： 棱镜；APMC作业；SBML测试套件… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
MarCaSPiS公司 5份文件引用(2009–2015) 软件作者： 洛科·德·尼古拉、迭戈·拉泰拉、米歇尔·洛雷蒂、梅克·马西克 相关软件： 奶牛；MoDeST；科莱姆… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
半胱天冬氨酸 4份文件引用(2008–2015) 软件作者： 延斯·巴赫曼；马丁·里德尔（Martin Riedl）；约翰·舒斯特（Johann Schuster）；马库斯·西格尔 相关软件： 棱镜；CUDD；参数 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）
DAG地图 引用于3份文件(2012–2017) 软件作者： 曹海军；金、海；吴晓欣；吴、宋；石、宣化 相关软件： Globus工具包；达格曼；网格模拟 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
REMM公司 2份文件引用(2008–2021) 软件作者： 弗朗西斯科·莫斯卡托；萨尔瓦托，文蒂钦克；阿弗莎、罗科；贝尼亚米·迪·马蒂诺 相关软件： 罗丹；贾德克斯 主要字段： 计算机科学（68-XX）
BuzzPSS系统 1份文件引用(2020) 软件作者： Nuno Machado、Francisco Maia、Miguel Matos、Rui Oliveira 相关软件： ASM；PeerSim；Coq… 主要字段： 计算机科学（68-XX）
数据瓶 1份文件引用(2020) 软件作者： 弗朗西斯科·迈亚、米格尔·马托斯、里卡多·维拉萨、何塞·佩雷拉、鲁伊·奥利维拉、艾蒂安·里维埃 相关软件： ASM；PeerSim；Coq… 主要字段： 计算机科学（68-XX）
NFTAPE（非磁带） 在0个文档中引用 软件作者： Stott，D.T.、Floering，B.、Burke，D.、Kalbarczpk，Z.、Iyer，R.K。 相关软件： 命运；FlipIt；失败前… 主要字段： ——