PGSolver公司 41篇文献引用（2009年-2023年） 软件作者： 奥利弗·弗里德曼；马丁·兰格 相关软件： Oink；条纹；mCRL2… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
电动汽车 6篇文献引用(2001–2021) 软件作者： 拉尔斯-奥克·弗雷德隆德；迪利安·古罗夫；托马斯·诺尔；Mads大坝；托马斯艺术；根纳迪·楚格诺夫 相关软件： 埃尔朗；伊莎贝尔；Coq… 主要字段： 计算机科学（68-XX）
ReebHanTun公司 8份文件引用(2013–2022) 软件作者： 泰马尔·戴伊。；范凤涛；王玉树 相关软件： QuadCover；libQEx；QEx… 主要字段： 微分几何（53-XX）；流形和细胞复合体（57-XX）；数值分析（65-XX）…
DryadLINQ公司 4份文件引用(2012–2018) 软件作者： Yu，Y。；Isard，M。；费特利，D.等人 相关软件： MapReduce；Dryad；Hadoop… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；统计力学，物质结构（82-XX）
空间排序 4份文件引用(2009–2016) 软件作者： 克里斯托夫·德拉吉；奥利维尔·德维勒 相关软件： CGAL；二维三角剖分；三维三角剖分… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）
LWB公司 3份文件引用(1996–2009) 软件作者： 戈雷，拉吉耶夫；沃尔夫冈·海恩勒；阿兰·豪尔丁 相关软件： MiniSat；吸血鬼；MSPASS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
地窖管理员 2份文件引用(2014–2020) 软件作者： 彼得森，P.A.H。 相关软件： 泰索；TransCrypt；超级地穴… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
EmmPack（EmmPack） 2份文件引用(1997–2015) 软件作者： 范德斯卢伊斯，皮特·J。 相关软件： S-PLUS；Matlab；高斯 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
变形杆菌属 2份文件引用(2007–2010) 软件作者： 丹尼尔·沃丁顿（Daniel Waddington）；姚斌 相关软件： CIL；TXL；Stratego… 主要字段： 计算机科学（68-XX）