考德 23篇文献引用(2018–2023) 软件作者： Lanese，I.、Nishida，N.、Palacios，A.、Vidal，G。 相关软件： 埃尔朗；github；铲刀… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
LHAPDF公司 15篇文献引用（2009年-2023年） 软件作者： 安迪·巴克利 相关软件： 循环工具；PYTHIA8；古巴… 主要字段： 算子理论（47-XX）；几何（51-XX）；统计学（62-XX）…
GKLEE公司 在11份文件中引用(2013–2022) 软件作者： 李·G、李·P、萨瓦亚·G、戈帕拉克里希南·G、高什·I、拉詹·S.P。 相关软件： CUDA；GPU验证；OpenCL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CalFuzzer公司 2份文件引用(2010–2018) 软件作者： 帕拉维·乔希；Mayur Naik；公园、长秀；塞·库什克 相关软件： SLAM；蜗牛；可爱… 主要字段： 计算机科学（68-XX）
C触发器 引用于3份文件(2013–2016) 软件作者： Soyeon公园、山路、圆圆洲 相关软件： RacerX；PENELOPE公司；jPredictor… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
DPF（DPF） 引用于3份文件(2013–2020) 软件作者： 米洛斯，格利戈里奇；鲁帕克·马朱姆达尔 相关软件： MCMAS；DDVerify；旋转… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
巴拉库达 1份文件引用(2021) 软件作者： 阿里尔·艾森伯格（Ariel Eizenberg）、彭元峰（Yuanfeng Peng）、托马·皮格利（Toma Pigli）、威廉·曼斯基（William Mansky）、约瑟夫·迪维蒂（Joseph Devietti） 相关软件： GPU验证；GM种族；CURD… 主要字段： 计算机科学（68-XX）
D匹配 2份文件引用(2020) 软件作者： 刘浩鹏、李光普、Jeffrey F.Lukman、李佳欣、Shan Lu、Haryadi S.Gunawi、Chen Tian 相关软件： dBug；SAMC；敏哈… 主要字段： 计算机科学（68-XX）
高斯 2份文件引用(2011–2018) 软件作者： 罗伯特·帕尔默；史蒂夫·巴鲁斯（Steve Barrus）；余阳；Ganesh Gopalakrishnan；罗伯特·柯比 相关软件： ISP；自旋蛋白；SLAM… 主要字段： 计算机科学（68-XX）