PVS公司 621份文件引用(1993–2023) 软件作者： Sam Owre、Natarajan Shankar、John Rushby 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
分离逻辑 10篇文献引用(2015–2022) 软件作者： 彼得·兰米奇（Peter Lammich）；雷内·梅斯 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…