×

找到5个软件包(结果1-5)

Metaopt公司

9份文件引用(2019–2022)
软件作者: 安德鲁·克洛珀(Andrew Cropper);史蒂芬·H·马格尔顿。
相关软件: 梅塔戈里;github;GOLEM…
主要字段: 计算机科学(68-XX)

TiML公司

引用于8份文件(2018–2022)
软件作者: Wang,P.,Wang,D.,Chlipala,A。
相关软件: TcT;z3;分离逻辑…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SpGEMM公司

5份文件引用(2015–2018)
软件作者: 费利克斯·格雷姆斯;安德烈亚斯·霍夫特;Lars Ole Schwen;费边·基斯林;乌韦·诺曼
相关软件: 稀疏矩阵;CUSP;CUDA…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)

Hyk排序

引用于2份文件(2016)
软件作者: H.Sundar、D.Malhotra、G.Biros
相关软件: PPM;ScalFMM;算法967…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

WikiSort(维基排序)

引用于2份文件(2019–2020)
软件作者: 迈克·麦克法登
相关软件: MoMQuickMergesort;QuickHeapsort;GitHub…
主要字段: 计算机科学(68-XX)

筛选结果依据…