GMRF库 408份文件引用(1991–2024) 软件作者： 哈瓦德街；莱昂哈德·赫尔德 相关软件： R；spBayes；贝叶斯DA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
阿巴克斯 117篇文献引用(1996–2022) 软件作者： 小精灵，马蒂亚斯；卡斯滕·古特温格；迈克尔·Jünger；乔瓦尼·里纳尔迪 相关软件： CPLEX；MINTO公司；SYMPHONY… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…