MoDeST公司 33篇文献引用(2001–2022) 软件作者： 佩德罗·R·D’Argenio。；赫尔曼斯，霍尔格；Joost-Pieter Katoen；里克·克拉伦 相关软件： 棱镜；Uppaal；高科技… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
智能_ 23篇文献引用(2000–2018) 软件作者： Ciardo，G。；Jones，R.L。；Miner，A.S.公司。；R·西米尼亚努。 相关软件： 自旋蛋白；棱镜；NuSMV… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伊米尔 16篇文献引用（2005年至2021年） 软件作者： Hákan L.S.尤尼斯。 相关软件： 棱镜；维斯塔；MRMC… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
MONARC公司 6篇文献引用(2001–2012) 软件作者： Ciprian Dobre；Corina地层 相关软件： OptorSim；网格模拟；GrADS… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；运筹学，数学编程（90-XX）
PDE工具 1份文件引用(2005) 软件作者： Ali Khalili；阿米尔·贾拉利·比多利；穆罕默德·阿卜杜拉希·阿兹戈米 相关软件： Matlab公司 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
pntool工具 2份文件引用(2004) 软件作者： 屋大维，帕斯特拉瓦努；Matcovschi、Mihaela-Hanako；克里斯蒂安·马胡利亚 相关软件： Matlab公司 主要字段： 总体主题；藏品（00-XX）；系统论；控制（93-XX）