高尔夫 158份文件引用(1996–2024) 软件作者： 赫克托·J·列夫斯克（Hector J.Levesque）。；雷蒙德·雷特（Raymond Reiter）；伊夫·莱斯佩兰斯；林方珍；理查德·谢尔（Richard B.Scherl）。 相关软件： ConGolog；AgentSpeak；METATEM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ETPS公司 163篇文献引用(1986–2024) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
令人惊叹的 12份文件引用(2007–2021) 软件作者： 文森特·科尼策；托马斯·桑德霍姆 相关软件： R-MAX；天秤座；AlexNet… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
游戏萎缩 11份文件引用(2007–2022) 软件作者： 安德鲁·吉尔平；托马斯·桑德霍姆 相关软件： DeepStack；深度堆栈；天秤座；AlphaZero… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
宣称 8份文件引用(2010–2023) 软件作者： Linda Hung；黄，陈；Shin，Ilgyou；Ho，Gregory S。；Lignères，Vincent L。；艾米丽·卡特（Emily A.Carter）。 相关软件： COMSOL公司；Quantum浓缩咖啡；金索尔… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
TorDiv公司 2份文件引用(2006–2015) 软件作者： 弗洛里安·贝赫托尔德（Florian Berchtold）；尤尔根·豪森；罗伯特·沃尔默特；马塞尔·维德曼 相关软件： 枫树；复曲面；ToricVarieties… 主要字段： 代数几何（14-XX）
榛子 2份文件引用(2017) 软件作者： 奥马尔、赛勒斯；伊恩·沃西；迈克尔·希尔顿；乔纳森·奥尔德里奇；马修·哈默（Matthew A.Hammer）。 相关软件： 甲基丙烯酸甲酯；js_of_ocaml；mbeddr… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）
加速 2份文件引用(2010–2012) 软件作者： 安顿巴拉日；伊万娜·维达诺维奇；达尼卡·斯托吉尔科维奇；杜珊·武德拉戈维奇；Aleksandar Belić；Aleksandar Bogojević 相关软件： Mathematica；数学张量；SPRNG公司 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；光学、电磁理论（78-XX）…
莱尔德-jtb2018 1份文件引用(2018) 软件作者： 罗伯特·A·莱尔德。 相关软件： – 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
SEEC公司 1份文件引用(2019) 软件作者： H.Hoffmann、M.Maggio、M.D.Santambrogio、A.Leva、A.Agarwal 相关软件： 精密路径指示器；多维数据集浏览器；兄弟竞争… 主要字段： 计算机科学（68-XX）
XPOMCP公司 1份文件引用(2023) 软件作者： 朱利奥·马齐；阿尔贝托·卡斯泰里尼；亚历山德罗·法利内利 相关软件： REBA；AlphaZero；IsolationForest… 主要字段： 计算机科学（68-XX）