NQTHM公司 149份文件引用（1979年至2022年） 软件作者： 罗伯特·博伊尔（Robert S.Boyer）。；J.Strother摩尔 相关软件： HOL；ACL2；PVS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；群论与推广（20-XX）…
巴贝尔 72份文件引用(1988–2013) 软件作者： 马里奥·罗德里格斯-阿塔莱霍 相关软件： 核叶；玩具；咖喱… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）