ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数理逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
马拉雷亚 56篇文献引用(2007–2023) 软件作者： 约瑟夫·乌尔班 相关软件： E定理证明；吸血鬼；Mizar… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；数值分析（65-XX）…
IMPS公司 52篇文献引用(1990–2021) 软件作者： Farmer，William M。；约书亚·D·古特曼。；塞耶，F.哈维尔 相关软件： 伊莎贝尔；Nuprl；Coq… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
GEX公司 34份文件引用(1996–2023) 软件作者： Gao，X.-S.等。 相关软件： GeoGebra；日本国债交易所；GCLC… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；数值分析（65-XX）…
MizarMode（米扎尔模式） 18篇文献引用(2006–2019) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；MoMM… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MMP/几何仪 15篇文献引用(2004–2023) 软件作者： 高小山；林强（Lin，Qiang） 相关软件： GEX；GCLC；GeoGebra… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；数值分析（65-XX）…
水瓶座 4份文件引用(1994–2004) 软件作者： 博纳西纳（Bonacina）、玛丽亚·保拉（Maria Paola）；Jieh乡 相关软件： 水獭；气象；帕塞农… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SNARK（扫描） 3份文件引用(2009–2015) 软件作者： Stickel，M。 相关软件： Waldmeister；E定理证明；生动… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；相对论和引力理论（83-XX）