精益TAP 44篇文献引用(1994–2022) 软件作者： 贝恩哈德·贝克特；约阿希姆·波塞加 相关软件： SETHEO公司；TPTP；萨奇莫… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
SQEMA公司 40篇文献引用(2005–2021) 软件作者： 威廉·康雷迪（Willem Conradie）；瓦伦丁·戈兰科 相关软件： Isabelle/HOL；认识逻辑；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…