GMRF库 427份文件引用(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)…
ADOL-C公司 260篇文献引用(1991–2024) 软件作者: 安德烈亚·沃尔特(Andrea Walther)、安德烈亚斯·科瓦兹(Andreas Kowarz)、安德烈亚斯·格里万克(Andreas-Griewank) 相关软件: ADIFR;锥体;ADIC… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
TISEAN公司 165篇文献引用(1999–2023) 软件作者: Rainer Hegger、Holger Kantz、Thomas Schreiber 相关软件: Matlab;K2;科学… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…
刻痕 89份文件引用(1997年至2024年) 软件作者: F.佩莱格里尼;J.罗曼 相关软件: METIS公司;查科;稀疏矩阵… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
Gecode公司 86篇文献引用(2007–2023) 软件作者: 克里斯蒂安·舒尔特(Christian Schulte),KTH皇家理工学院 相关软件: 微量锌;CPLEX;Choco… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
JPEG2000格式 61篇文献引用(2002–2023) 软件作者: Seo、Yeong Geon;Kim,Kwon Soo;Kim、Sung Gyun 相关软件: 蟒蛇;BM3D;视觉搜索… 主要字段: 欧氏空间(42-XX)的调和分析;数值分析(65-XX);计算机科学(68-XX)…
svd包 在60份文件中引用(1994–2022) 软件作者: 迈克尔·W·贝里 相关软件: LAPACK;ARPACK;Matlab… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
NuMVC公司 20篇文献引用(2013–2023) 软件作者: 蔡少伟;苏凯乐;罗川;阿卜杜勒·萨塔尔 相关软件: CCLS;CCASat;irace… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
节点XL 7份文件引用(2013–2022) 软件作者: Shneiderman,Ben;科迪·邓恩 相关软件: 格菲;帕杰克;亚当… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…