GPU验证 14篇文献引用(2013–2022) 软件作者： 彼得·科林伯恩（Peter Collingbourne）；阿拉斯泰尔·唐纳森。；杰罗·凯特马（Jeroen Ketema）；沙兹·卡迪尔 相关软件： GKLEE；CUDA；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Eldarica公司 7份文件引用(2016–2023) 软件作者： 侯赛因·霍贾特；Konečný，菲律宾；弗洛伦特·加尼尔；拉杜·伊奥西夫；维克多·昆卡；菲利普·吕默 相关软件： 公主；FLATA；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Jakstab公司 7份文件引用(2011–2023) 软件作者： Johannes Kinder，Helmut Veith 相关软件： SatAbs公司；WPDS++；SLAM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
张力 5份文件引用(2021–2022) 软件作者： 亚历山大·库内尔（Alexander Kuhnle）；Michael Schaarschmidt；凯·弗里克 相关软件： TensorFlow；OpenAI健身房；地平线… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；生物学和其他自然科学（92-XX）
特征CFA 3份文件引用(2011–2012) 软件作者： 塔伦·帕布；Shreyas Ramalingam；马修，可能；霍尔，玛丽 相关软件： PETSc；CUDA；THORS… 主要字段： 计算机科学（68-XX）
基克 2份文件引用(2008–2022) 软件作者： 马提亚斯·罗尔；安德烈·范霍恩；贾斯敏卡·马特夫斯卡；尼尔斯·索默；Lena Stoever；西蒙·吉塞克（Simon Giesecke）；威廉·哈塞尔布林 相关软件： SynchroVis；ExploreViz；JMeter… 主要字段： 计算机科学（68-XX）
JavaPDG软件 1份文件引用(2018) 软件作者： Shu G、Sun B、Henderson TA、Podgurski A 相关软件： 准确指出；信息；暗黑破坏神… 主要字段： 计算机科学（68-XX）
ProGraML公司 在0个文档中引用 软件作者： Chris Cummins、Zacharias V.Fisches、Tal Ben-Nun、Torsten Hoefler、Hugh Leather 相关软件： 亚当；XLA；TensorFlow… 主要字段： –