停机坪 80篇文献引用(1991–2023) 软件作者： 珍妮特·伯特朗；米尼，安托万 相关软件： ASTREE公司；PPL；z3… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PAGAI公司 10篇文献引用(2014–2022) 软件作者： 朱利安·亨利、大卫·莫尼奥、马蒂厄·莫伊 相关软件： 停机坪；PPL；阿斯匹克… 主要字段： 数学逻辑与基础（03-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
修复包 3份文件引用（2013-2017） 软件作者： 团结方；Minh-Thai Trinh；Anh-Hoang Truong；魏恩甘钦 相关软件： MemCAD；TVLA；捕食者… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ELINA公司 1份文件引用(2017) 软件作者： Gagandeep Singh；普谢尔，马库斯；马丁·维切夫（Martin Vechev）；苏黎世ETH 相关软件： PPL；停机坪 主要字段： 计算机科学（68-XX）
彭罗斯 1份文件引用(2021) 软件作者： K.Ye、W.Ni、M.Krieger、D.Ma'ayan、J.Wise、J.Aldrich、J.Sunshine、K.Crane 相关软件： TensorFlow；MMP/Geometer；地理标志1.1… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）