PRocH公司 12份文件引用(2013–2018) 软件作者： Cezary Kaliszyk；约瑟夫·乌尔班 相关软件： HOL灯；Flyspeck；E定理证明器… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
游戏Pad 3份文件引用（2019年-2023年） 软件作者： 黄，丹尼尔；Prafulla Dhariwal；宋，黎明；伊利亚·萨茨克沃 相关软件： E定理证明器；深度数学；FEMaLeCoP… 主要字段： 计算机科学（68-XX）