TATL公司 引用于7份文件(2009–2017) 软件作者： 艾米莉·大卫 相关软件： CL校准仪；VAMPIRE公司；TRP++… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
酷 引用于3份文件(2014–2018) 软件作者： 丹尼尔·戈林；德克·帕丁森；卢茨·施罗德；弗洛里安·维德曼；托尔斯滕·维曼 相关软件： LoTREC；精益K；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）