CiME公司 39篇文献引用(1996–2022) 软件作者： 埃维琳·孔特让、克劳德·马奇、安德烈·帕斯科维奇、泽维尔·乌尔班 相关软件： AProVE；蒂罗尔；Coq… 主要字段： 数理逻辑与基础（03-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
驯鹿 14篇文献引用(2004–2012) 软件作者： O.Fissoor、I.Gneedig、H.Kirchner 相关软件： 莫德；AProVE；ELAN… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
RAPT公司 3份文件引用(2006) 软件作者： 千叶，Yuki；高仁青藤 相关软件： 筑波 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）