清爽 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）；贡特霍梅尔 相关软件： 大SPN；SPNP；GreatSPN 1.7… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-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）…
REMM公司 2份文件引用(2008–2021) 软件作者： 弗朗西斯科·莫斯卡托；Venticinque，萨尔瓦多；阿弗莎、罗科；贝尼亚米·迪·马蒂诺 相关软件： 罗丹；贾德克斯 主要字段： 计算机科学（68-XX）
NFTAPE（非磁带） 在0个文档中引用 软件作者： Stott，D.T.、Floering，B.、Burke，D.、Kalbarczpk，Z.、Iyer，R.K。 相关软件： 命运；FlipIt；失败前… 主要字段： –