水獭 331份文件引用（1988年-2023年） 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
Gecode公司 87份文件引用(2007–2023) 软件作者： 克里斯蒂安·舒尔特（Christian Schulte），KTH皇家理工学院 相关软件： 微量锌；CPLEX；Choco… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…