LoTREC公司 引用于29份文件（2001年-2023年） 软件作者： 奥利维尔·加斯奎特；安德烈亚斯·赫齐格（Andreas Herzig）；多米尼克·朗金；穆罕默德·萨哈德 相关软件： PVS；SPASS；E定理证明器… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
太阳能 19份文件引用(1993–2022) 软件作者： Hidetomo Nabeshima、Koji Iwanuma、Katsumi Inoue、Oliver Ray 相关软件： E定理证明；SPASS；SCIFF… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ModLeanTAP模式 19份文件引用(1998–2019) 软件作者： 贝恩哈德·贝克特；拉杰夫·戈尔 相关软件： 精益TAP；Coq；MSPASS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TWB公司 3份文件引用（2009年至2019年） 软件作者： 彼得罗·阿巴特；拉杰夫·戈尔 相关软件： LoTREC；MSPASS；SableCC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
R-SATCHMO公司 2份文件引用(2004–2005) 软件作者： 何立峰；赵玉燕；伊藤秀内里 相关软件： SATCHMOREBID；I-SATCHMO；萨奇莫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）