×

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

线性代数库

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

高功率激光器

83份文件引用(2006–2023)
软件作者: D.马伊特
相关软件: GiNaC;表格;火灾…
主要字段: 数论(11-XX);特殊功能(33-XX);计算机科学(68-XX)…

萨拉格

5份文件引用(2003–2008)
软件作者: 法布里奇奥·卡鲁索
相关软件: QEPCAD;RAGlib;FGb…
主要字段: 场论与多项式(12-XX);交换代数(13-XX);代数几何(14-XX)…

I-RiSC公司

1份文件引用(2011)
软件作者: 乌尔里希·卢普;艾丽卡·阿尔布拉汉姆
相关软件: cvc3;ABsolver;OpenSMT…
主要字段: 计算机科学(68-XX)

马特里克斯·舒伯特

在0个文档中引用
软件作者: 阿亚·阿穆萨;肖恩·格雷特(Sean Grate);黄道吉;Patricia Klein;亚当·拉克莱尔(Adam LaClair);罗玉元;约瑟夫·麦克多诺
相关软件: 麦考莱2
主要字段:

特殊功能边界

1份文件引用(2019)
软件作者: 劳伦斯·保尔森
相关软件: 梅蒂塔斯基;Coq;存档正式证据…
主要字段: 场论与多项式(12-XX);计算机科学(68-XX)

筛选结果依据…