苏普雷米卡 28篇文献引用(2009–2023) 软件作者： 克努特·阿克森；马丁·费边（Martin Fabian）；雨果·弗洛达尔；罗比·马利克 相关软件： UMDES；TCT；NuSMV… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
STCT公司 10篇文献引用(2002–2023) 软件作者： 张忠华；W.M.温汉姆。 相关软件： UMDES；Supremica；TCT… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
VeriSIMPL公司 3份文件引用(2015–2018) 软件作者： 阿兹基亚（Adzkiya）、迪基（Dieky）；张怡宁；亚历山德罗·阿巴特 相关软件： 算法97；蛋白石；椭圆工具箱… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；系统论；控制（93-XX）
PDE工具 1份文件引用(2005) 软件作者： 阿里·哈利利；阿米尔·贾拉利·比多利；穆罕默德·阿卜杜拉希·阿兹戈米 相关软件： Matlab公司 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…