隐秘HOL 9份文件引用(2017–2022) 软件作者： Basin，D.，Lochbihler，A.，Sefidgar，S.R。 相关软件： Isabelle/HOL；存档正式证据；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
小狗 3份文件引用(2013–2021) 软件作者： Maes R、Van Herrewee A、Verbauwhede I。 相关软件： —— 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
光环 3份文件引用(2013–2017) 软件作者： 迪米特里厄斯病毒性肠炎；西蒙·佩顿·琼斯；科恩·克莱森；丹·罗森 相关软件： z3；哈斯克尔；E定理证明… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CoCLAM公司 2份文件引用(2000–2012) 软件作者： 洛杉矶丹尼斯。；A.邦迪。；我是格林。 相关软件： 牡蛎；欧米茄；蛤蜊… 主要字段： 阶、格、有序代数结构（06-XX）；通用代数系统（08-XX）；计算机科学（68-XX）
robustpf公司 1份文件引用(2020) 软件作者： 胡应尧；黄国芳；Yuya Sasaki 相关软件： 左撇子；Stata公司 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）