CUTEst公司 156篇文献引用(2014–2024) 软件作者: Gould,N.、Orban,D.、Toint,P.L。 相关软件: L-BFGS;Ipopt;兰斯洛… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
达夫尼 105篇文献引用(2010–2024) 软件作者: 鲁斯坦·莱诺 相关软件: z3;Why3;布吉… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
CBMC公司 88篇文献引用(2004–2023) 软件作者: Clarke E、Kroening D、Lerda F 相关软件: 爆炸;z3;MiniSat… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
dSPIN公司 22篇文献引用(2000–2014) 软件作者: Demartini,C.,Iosif,R.,Sisto,R。 相关软件: 自旋蛋白;班德拉;Java PathFinder… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
检查围栏 18篇文献引用(2007–2018) 软件作者: Burckhardt,S.,Alur,R.,Martin,M.K。 相关软件: veriSoft;自旋蛋白;UMM… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
联合国排雷行动方案 4份文件引用(1994–1997) 软件作者: Heuberger,P.S.C。;詹森,P.H.M。;桑德斯R 相关软件: – 主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
SPRUCOM公司 3份文件引用(1990–2001) 软件作者: Krieger,H。;施费尔,H。;博塞尔,H。 相关软件: – 主要字段: 数值分析(65-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);生物学和其他自然科学(92-XX)
分层R 2份文件引用(2020–2023) 软件作者: 卡鲁纳·G·雷迪、M·G·M·汗 相关软件: fitdistrplus;精算师;zipfR… 主要字段: 统计学(62-XX);运筹学、数学规划(90-XX)
YAFS公司 1份文件引用(2020) 软件作者: Lera I.、Guerrero C.、Juiz C。 相关软件: iFogSim;去;FogNetSim++… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
阿格斯 2份文件引用(2003) 软件作者: 尤塔·盖尔德曼;阿夫奇(Avci),努尔滕(Nurten);斯特凡·温泽尔(Stefan Wenzel);奥托·伦茨 相关软件: – 主要字段: 运筹学、数学规划(90-XX)
动力-MPI 1份文件引用(2006) 软件作者: 韦瑟利,D.布伦特;David K.Lowenthal。;马里奥·中泽一郎;富兰克林·洛温塔尔 相关软件: CHARM(魅力)++ 主要字段: 计算机科学(68-XX)
毫米90 2份文件引用(1997–2000) 软件作者: J·米查拉克斯。 相关软件: RSL;PETSc公司;MM5公司 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
ORL公司 1份文件引用(2023年) 软件作者: 巴拉坦·巴拉吉、乔丹·贝尔·马斯特森、埃内斯·比尔金、安德烈亚斯·达米亚努、巴勃罗·莫雷诺-加西亚、阿比特·贾恩、罗润飞、阿尔瓦罗·马吉亚、巴拉克里什南·纳拉亚纳斯瓦米、春叶 相关软件: AlphaZero;VRP;CVRPSP… 主要字段: 运筹学、数学规划(90-XX)
DROM(随机存取存储器) 1份文件引用(2020) 软件作者: D'Amico,M.、Garcia-Gasulla,M.,López,V.、Jokanovic,A.、Sirvent,R.、Corbalan,J 相关软件: 交易.ii;EdgeCFD;驼鹿… 主要字段: 数值分析(65-XX);流体力学(76-XX)
XFogSim软件 在0个文档中引用 软件作者: Malik A.W.、Qayyum T.、Rahman A.U.、Khan M.A.、Khalid O.和Khan S.U。 相关软件: 去;FogNetSim++;YAFS… 主要字段: –