水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
帕洛 39篇文献引用(1984–2022) 软件作者： 基思·克拉克；史蒂夫·格雷戈里 相关软件： GHC；SICStus公司；平滑… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
MLAT公司 3份文件引用(1993–2008) 软件作者： Sekizawa、Toshifusa；田边、吉诺里；Yuasa、Yoshifumi；高桥，Koichi 相关软件： 爆炸；卡斯卡德7；PLTMG公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…