×

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

线性代数库

425篇文献引用(1995–2023)
软件作者: L.S.布莱克福德。;Choi,J。;克利里,A。;D’Azevedo,E。;德梅尔,J。;迪尔隆,I。;Dongarra,J。;哈默林,S。;亨利,G。;佩蒂特,A。;斯坦利,K。;Walker,D。;R.C.惠利。
相关软件: LAPACK;BLAS;PLAPACK…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

Z

237篇文献引用(1958–2023)
软件作者: 吉姆·伍德科克;吉姆·戴维斯
相关软件: 马戏团;电源保护;罗丹…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…

货币基金组织

89份文件引用(2012–2024)
软件作者: 罗伯特·安德森(Robert Anderson)、朱利安·安德烈(Julian Andrej)、安德鲁·巴克(Andrew Barker)、杰米·布兰威尔(Jamie Bramwell)、珍妮·西尔万·卡米尔(Jean-Sylvane Camier)、雅库布·塞维尼(Jakub Cerveny)、韦塞林·多布雷夫(Veselin Dobrev)、约汉·杜杜杜杜维特(Yohann Dudouit)、亚伦·费舍尔(Aar
相关软件: 炒作;交易.ii;PETSc…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

ECOS公司

73篇文献引用(2014–2023)
软件作者: 亚历山大·多马希迪(Alexander Domahidi)、埃里克·朱(Eric Chu)、圣地亚哥·阿克勒(Santiago Akle)、汉·王(Han Wang)
相关软件: CVXPY;莫塞克;SCS…
主要字段: 变异微积分和最优控制;优化(49-XX);统计学(62-XX);计算机科学(68-XX)…

纳巴克

引用于70篇文献(1987–2020)
软件作者: 威廉·W·黑格。
相关软件: 枫树;symrcm;数学…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…

项目参考

18篇文献引用(2009–2023)
软件作者: 马克·巴布林(Marc Baboulin);阿尔弗雷多·布塔里;Jack Dongarra;库尔扎克,雅各布;朱莉·兰古;Julien Langou;彼得·卢斯科(Piotr Luszczek);斯坦尼米尔·托莫夫
相关软件: mctoolbox;LAPACK;CUDA…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

CSP防护

17篇文献引用(2005–2022)
软件作者: 吉野县Isobe;马库斯·罗根巴赫
相关软件: PVS;Isabelle/HOL;FDR2…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

QPSchur公司

17篇文献引用(2006–2022)
软件作者: 罗斯科·A·巴特利特。;Lorenz T.比格勒。
相关软件: qpOASES;LOQO;QPOPT…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

代数_VC

3份文件引用(2017–2022)
软件作者: 戈麦斯,V.B.F.,斯特鲁斯,G。
相关软件: 存档正式证据;Isabelle/HOL;克莱纳代数…
主要字段: 计算机科学(68-XX)

泄漏

3份文件引用(1994–2012)
软件作者: Antonio J.Alencar、Joseph A.Goguen
相关软件: AGG;亨欣;凹槽…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…

泊松解算器

1份文件引用(2014)
软件作者: H.兰斯顿
相关软件: 塔迪斯;ScopeShell;博尔西格语
主要字段: 流体力学(76-XX)

托帕斯

1份文件引用(2018)
软件作者: 科埃略软件
相关软件: 全方位;JANA;RIETAN…
主要字段: 总体主题;藏品(00-XX);统计力学,物质结构(82-XX)

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段