悉尼商学院 13份文件引用(2014–2021) 软件作者： 李毅；Albarghouthi，Aws；扎卡里·金凯；阿里·古芬克尔（Arie Gurfinkel）；玛莎·契契克 相关软件： z3；vZ；OptiMathSAT… 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
鸡蛋 4份文件引用(2021–2023) 软件作者： Max Willsey、Chandrakana Nandi、Yisu Remy Wang、Oliver Flatt、Zachary Tatlock、Pavel Panchekha 相关软件： CatLib；同意；Verigraph… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
德意志Schorr Waite 1份文件引用(2012) 软件作者： Viorel Preoteasa；拉尔夫·约翰回来 相关软件： 数据精炼IBP；存档正式证据；伊莎贝尔/HOL 主要字段： 计算机科学（68-XX）