班德拉 105篇文献引用(2000–2023) 软件作者： 约翰·哈特克利夫；马修·德怀尔 相关软件： 自旋蛋白；Java PathFinder；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
A至M3 18篇文献引用(2002–2021) 软件作者： 胡安·德·拉腊（Juan de Lara）；汉斯·旺格鲁 相关软件： AGG；VIATRA2；进度… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
GXL公司 10篇文献引用(2002–2020) 软件作者： 理查德·霍尔特（Richard C.Holt）。；安迪·舒尔（Andy Schürr）；Sim，Susan Elliott；安德烈亚斯·温特 相关软件： 进度；AGG；凹槽… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
凯撒 11份文件引用(2004–2021) 软件作者： 休伯特·加拉维；Wendelin Serwe；INRIA罗纳阿尔卑斯山 相关软件： CADP；NUPN_INFO；caesar.bdd… 主要字段： 计算机科学（68-XX）
VPM公司 4份文件引用(2005–2007) 软件作者： 达尼尔·瓦罗（Dániel Varró），安德拉斯·帕塔里察（András Pataricza） 相关软件： VIATRA2；进度；AGG… 主要字段： 计算机科学（68-XX）
时刻2 9份文件引用(2010–2016) 软件作者： 阿图尔·博罗纳特；彼得·塞巴·奥尔夫茨基 相关软件： 莫德；ITP/OCL；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PICNIC公司 5份文件引用(2010–2022) 软件作者： Greenman CD、Bignell G、Butler A、Edkins S、Hinton J、Beare D、Swamy S、Santarius T、Chen L、Widaa S、Futreal PA、Stratton MR 相关软件： 血浆；R；CARAT… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
地理系统BRNS 5份文件引用(2013–2022) 软件作者： Centler，F.、Shao，H.、De Biase，C.、Park，C.-H.、Regnier，P.、Kolditz，O.、Thullner，M。 相关软件： CrunchFlow；PHREEQC；OpenGeoSys… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…