MetTeL公司 16篇文献引用(2011–2021) 软件作者： 蒂什科夫斯基，德米特里；雷娜特·施密特（Renate A.Schmidt）。；穆罕默德·科达达迪 相关软件： LoTREC；KL-ONE；Gen2sat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
酷 3份文件引用(2014–2018) 软件作者： 丹尼尔·戈林；德克·帕丁森；卢茨·施罗德；佛罗里达州Widmann；托尔斯滕·维曼 相关软件： LoTREC；精益K；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）