CUDD公司 158份文件引用(1997–2023) 软件作者： 法比奥·萨蒙齐 相关软件： NuSMV；自旋蛋白；棱镜… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
紫苏 14篇文献引用(2007–2022) 软件作者： 马库斯·贝勒 相关软件： Matlab；Normaliz；PPL… 主要字段： 组合数学（05-XX）；凸几何和离散几何（52-XX）；计算机科学（68-XX）…
西尔文 11份文件引用(2020–2023) 软件作者： 范迪克，T。；范德波尔，J。 相关软件： LTSmin公司；棱镜；BuDDy… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
SBSAT卫星 10篇文献引用(2004–2023) 软件作者： 约翰·佛朗哥；米查尔·库里尔；约翰·施利普夫（John Schlipf）；杰弗里·沃德；肖恩·韦弗（Sean Weaver）；Michael Dransfield；W.Mark范弗利特 相关软件： 不可抗力；糠；BerkMin… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
马戏团 9份文件引用(2004–2017) 软件作者： Jin，HoonSang；法比奥·萨蒙齐 相关软件： 糠；CUDD；zChaff… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ROBDD公司 5份文件引用(1992–2003) 软件作者： Brace，K.S。；Rundell，R.L。；R.E.布莱恩特。 相关软件： NQTHM公司 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
克罗科帕特 1份文件引用(2009) 软件作者： Dirk Beyer、Andreas Noack、Claus Lewerentz 相关软件： Qscope；PQL；CodeQuest… 主要字段： 计算机科学（68-XX）