校对工具 8份文件引用(2013–2023) 软件作者： C.Dunchev、A.Leitsch、T.Libal、M.Riener、M.Rukhaia、D.Weller、B.Woltzenlogel古 相关软件： TPTP；缺口；CERES… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
CTL-RP公司 5份文件引用(2010–2021) 软件作者： 张澜；乌尔里希侯斯塔特；克莱尔·狄克逊 相关软件： SPASS；TRP++；TeMP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）