Isabelle/j编辑 36篇文献引用(2011–2022) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
PIDE公司 13份文件引用(2012–2022) 软件作者： 马卡里乌斯·温泽尔 相关软件： Isabelle/jEdit；Isabelle/HOL；大锤… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
普赛克 5份文件引用(2013–2020) 软件作者： 圣菲省格拉汉·伦格兰德 相关软件： 伊莎贝尔；直觉；ILTP… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）