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)