水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
ADOL-C公司 260篇文献引用(1991–2024) 软件作者： 安德烈亚·沃尔特（Andrea Walther）、安德烈亚斯·科瓦兹（Andreas Kowarz）、安德烈亚斯·格里万克（Andreas-Griewank） 相关软件： ADIFOR公司；挂毯；ADIC… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
刻痕 89份文件引用（1997年至2024年） 软件作者： F.佩莱格里尼；J.罗曼 相关软件： METIS公司；查科；稀疏矩阵… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…