水獭 331份文件引用(1988–2023) 软件作者: 比尔·麦库恩;阿莫尔·蒙塔诺(Amor Montano)、何塞·阿尔弗雷多(Jose Alfredo);米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel) 相关软件: TPTP;VAMPIRE公司;SPASS… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…
ADOL-C公司 261篇文献引用(1991–2024) 软件作者: 安德烈亚·沃尔特(Andrea Walther)、安德烈亚斯·科瓦兹(Andreas Kowarz)、安德烈亚斯·格里万克(Andreas-Griewank) 相关软件: ADIFR;锥体;ADIC… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…