PVS公司 621份文件引用(1993–2023) 软件作者： Sam Owre、Natarajan Shankar、John Rushby 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PASCAL挥发性有机化合物 99篇文献引用(2010–2023) 软件作者： Everingham，M.、Eslami，S.M.A.、Van Gool，L.、Williams，C.K.I.、Winn，J.、Zisserman，A 相关软件： 筛选；图像网络；MS-COCO… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
NESTA公司 147篇文献引用(2010–2024) 软件作者： 斯蒂芬·贝克尔（Stephen Becker）；杰罗姆·博宾（Jerome Bobin）；伊曼纽尔·坎迪斯。 相关软件： PDCO；SPGL1；TFOCS… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
SDP包 51篇文献引用(1998–2024) 软件作者： Nayakakuppam M V、Overton M L、Schemta S。 相关软件： SDPT3；塞杜米；CSDP… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
水母 38篇文献引用(2013–2024) 软件作者： 本杰明·雷赫特（Benjamin Recht）；克里斯托弗·雷伊 相关软件： 传奇；softImpute；SDPLR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
EdgeRewire公司 引用于8份文件(2016–2023) 软件作者： Chan，Hau；莱曼·阿科格鲁 相关软件： 科内克特；NetworkX；网络工具包… 主要字段： 组合数学（05-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
净RAX 引用于3份文件(2022–2024) 软件作者： Lutteropp，S。；斯科纳瓦卡，C。；科兹洛夫，AM；莫雷尔，B。；斯塔马塔基斯，A。 相关软件： PhyloNetworks；MSC四重奏；SVD四重奏… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；生物学和其他自然科学（92-XX）…