息肉 33篇文献引用（1999年至2012年） 软件作者： Jansson，P。；J·杰林。 相关软件： 哈斯克尔；Stratego；Coq… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
ACUOS2号机组 13份文件引用(2014–2022) 软件作者： 阿尔普恩特，玛丽亚；巴利斯、德米斯；安吉尔·昆卡-奥尔特加；圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔 相关软件： 莫德；莫德-NPA；塔马林… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
叠加微积分 4份文件引用(2018–2020) 软件作者： 尼古拉斯·佩尔蒂埃 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）