伊莎贝尔/UTP 19份文件引用(2015–2021) 软件作者： 西蒙·福斯特（Simon Foster）；Zeyda，Frank；吉姆·伍德科克 相关软件： 马戏团；Isabelle/HOL；Z、 … 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统论；控制（93-XX）
验证日志 4份文件引用(2008–2018) 软件作者： 乔治·科埃略（Jorge Coelho），马里奥·弗洛里多（Mário Florido） 相关软件： CLP（柔性）；定理；数学… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）