×

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

标签

37篇文献引用(2005–2020)
软件作者: Madden S、Franklin MJ、Hellerstein JM、Hong W
相关软件: 自旋;弦;Protelis…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

PHiPAC公司

48篇文献引用(1997–2016)
软件作者: Jeff A Bilmes;克尔斯特·阿萨诺维奇;Rich Vuduc;Sriram Iyer;吉姆·德梅尔;CheeWhye Chin;多米尼克·林
相关软件: ATLAS;BLAS;LAPACK…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

流量*

49份文件中引用(2015–2024)
软件作者: Xin Chen、Erika Al brahám、Sriram Sankaranarayanan
相关软件: SpaceEx;d范围;高科技…
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);数值分析(65-XX)…

NINJA公司

30篇文献引用(2000–2019)
软件作者: 何塞·莫雷拉(JoséE.Moreira)。;塞缪尔·米奇夫(Samuel P.Midkiff)。;马尼什省古普塔;吴鹏;乔治·阿尔马西(George Almasi);阿蒂加斯,佩德罗
相关软件: TNT;爪哇格兰德;忍者…
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…

烟尘

32篇文献引用(2004–2023)
软件作者: 瓦列·雷(Valleée-Rai,R.)、加格农(Gagnon,e.)、亨德伦(Hendren,L.J.)、兰姆(Lam,P.)、波明维尔(Pominville,P.,Sundaresan,V.)。
相关软件: 达卡波;方面J;FlowDroid…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

Blitz++库

32篇文献引用(2000–2021)
软件作者: 托德·维尔德胡岑
相关软件: 闪电战++;促进;布拉斯…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

盖根

35篇文献引用(2004–2022)
软件作者: Daniel Fontijne;利奥·多斯特;蒂姆·鲍马
相关软件: 加洛普;CLUCalc;克利福德…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

学习库

27篇文献引用(2011–2023)
软件作者: 哈拉尔德·拉菲尔特;伯恩哈德·斯特芬;特蕾莎·伯格;蒂齐亚娜·玛格丽亚
相关软件: libalf;z3;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

瓦茨

12份文件引用(2001–2023)
软件作者: D.Brooks、V.Tiwari、M.Martonosi
相关软件: 简单标尺;MiBench公司;SoftExplorer…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

cohomCalg公司

28篇文献引用(2011–2023)
软件作者: 拉夫·布鲁门哈根(Ralph Blumenhagen);本杰明·朱尔克;托尔斯滕·拉恩
相关软件: Calabi-Yau数据库;PALP;SageMath…
主要字段: 代数几何(14-XX);几个复变量和分析空间(32-XX);微分几何(53-XX)…

HySAT卫星

26篇文献引用(2006–2021)
软件作者: Fränzle,Martin;克里斯蒂安·赫尔德
相关软件: 高科技;数学SAT;SpaceEx…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

TSFC公司

23篇文献引用(2016–2022)
软件作者: 米克洛斯·霍莫利娅、劳伦斯·米切尔、法比奥·卢波里尼、大卫·哈姆
相关软件: Firedrake;PETSc;UFL…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)…

英里/平方英尺

20篇文献引用(2008–2022)
软件作者: Gaudry,P.,Thomé,E。
相关软件: 电子飞机控制系统;25519号曲线;eBASH…
主要字段: 数论(11-XX);交换代数(13-XX);代数几何(14-XX)…

qHiPSTER公司

10篇文献引用(2016–2024)
软件作者: Mikhail Smelyanskiy、Nicolas P.D.Sawaya、Alán Aspuru-Guzik
相关软件: 项目Q;液体;Python…
主要字段: 动力学系统和遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)…

DMPlex公司

16篇文献引用(2016–2023)
软件作者: 迈克尔·兰格;劳伦斯·米切尔;马修·克内普利(Matthew G.Knepley)。;杰拉德·J·戈尔曼。
相关软件: PETSc;Firedrake;道芬…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

新Dsc

15篇文献引用(2016–2023)
软件作者: 亚历山大·科贝尔(Alexander Kobel);Fabrice的Rouillier;迈克尔·萨格拉洛夫
相关软件: 隔离;集群;仲裁…
主要字段: 组合数学(05-XX);代数几何(14-XX);复变量函数(30-XX)…

示例(exafmm)

12份文件引用(2018–2023)
软件作者: R.横田;洛杉矶巴巴
相关软件: pvfmm;ScalFMM;热…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

CompCertTSO公司

14篇文献引用(2013–2022)
软件作者: 什耶夫切克,雅罗斯拉夫;维克多·瓦菲亚迪斯;弗朗切斯科,扎帕·纳尔德利;苏雷什·贾甘纳森;彼得·休厄尔
相关软件: Coq;CompCert;皮尔斯纳…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);一般代数系统(08-XX)…

GALATICS公司

13份文件引用(2020–2024)
软件作者: G.Barthe、S.Belaíd、T.Espitau、P.-A.Fouque、M.Rossi、M.Tibouchi
相关软件: BLISS;事实真相;齐古拉…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

西格玛*

13份文件引用(2013–2022)
软件作者: 马特科·博廷坎(Matko Botinčan)、多马戈伊·巴比奇(Domagoj Babić)
相关软件: 拉利布;libalf;z3…
主要字段: 计算机科学(68-XX)

稀疏度

10篇文献引用(2005–2018)
软件作者: EJ Im、K Yelick、R Vuduc
相关软件: 稀疏矩阵;PETSc;MKL…
主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

原分子

8份文件引用(2003–2015)
软件作者: Matthey,Thierry;特雷弗·奇科夫斯基;斯科特·汉普顿;Ko,Alice;马群;马修·尼尔吉斯(Matthew Nyerges);特洛伊Raeder;托马斯·斯拉巴赫;耶苏斯·A·伊扎古尔。
相关软件: OOMPAA;GSHMC;MPI…
主要字段: 数值分析(65-XX);流体力学(76-XX);量子理论(81-XX)…

AltAlt键

6篇文献引用(2002–2009)
软件作者: 罗密奥·桑切斯·奈根达(Romeo Sanchez Nigenda)、玄龙阮(XuanLong Nguyen)、苏巴拉奥·坎巴帕蒂(Subbarao Kambhampati)
相关软件: STAN;图形平面图;SAPA…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

Calysto公司

5份文件引用(2008–2020)
软件作者: Babić,D.,Hu,A.J。
相关软件: z3;电子稳定控制系统/Java;BoogiePL…
主要字段: 计算机科学(68-XX)

gmm公司++

6篇文献引用(2005–2018)
软件作者: 伊夫·雷纳德(Yves Renard)、朱利安·波米耶(Julien Pommier)
相关软件: Getfem++;特征值;XFEM…
主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)…

凯伯

引用于7份文件(2019–2023)
软件作者: 莱昂·博特罗斯;Kannwischer,Matthias J。;彼得·施瓦布
相关软件: PQM4;SIKE公司;猎鹰…
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…

MLP溢流

6篇文献引用(2001年至2008年)
软件作者: 塔夫特,J.R。
相关软件: NAS平行基准;PVM公司
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)

SHIELD(屏蔽)

引用于7份文件(2016–2019)
软件作者: 阿尔哈桑·凯德;格伦·古拉克(Glenn Gulak);维诺德·瓦昆塔坦
相关软件: FHEW;HElib;如果…
主要字段: 统计学(62-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

Fastsg公司

6篇文献引用(2014年至2021年)
软件作者: 阿林·穆拉拉什、杰里特·巴斯、德克·弗吕格、约瑟夫·韦登多夫、阿恩特·博德
相关软件: CUDA;开放式CL;炒作…
主要字段: 数值分析(65-XX);流体力学(76-XX);生物学和其他自然科学(92-XX)

网格库

6篇文献引用(2002–2012)
软件作者: 作者
相关软件: LFA;FEAPpv;韦塞林…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)

HPF/JA公司

6篇文献引用(2002)
软件作者: Seo,Yoshiki;岩田秀树;大田宏;Sakagami、Hitoshi
相关软件: NAS并行基准测试
主要字段: 计算机科学(68-XX)

高功率晶体管

4份文件引用(2017–2021)
软件作者: 保罗·斯普林格(Paul Springer)、童苏(Tong Su)、保罗·比安蒂内西(Paolo Bientinesi)
相关软件: TTC;BLIS;P3DFFT…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

LaraDB公司

6篇文献引用(2018–2023)
软件作者: 迪伦·哈奇森(Dylan Hutchison)、比尔·豪(Bill Howe)、丹·苏秋(Dan Suciu)
相关软件: 马特朗;xarray;APL…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);结合环与代数(16-XX)…

LMS公司

5份文件引用(2010–2022)
软件作者: 蒂亚克·隆普夫(Tiark Rompf),马丁·奥德斯基(Martin Odersky)
相关软件: 科卡;博客;TMB…
主要字段: 计算机科学(68-XX)

薄荷

4份文件引用(2015–2018)
软件作者: Unat D、Cai X、Baden S
相关软件: CUDA;Pochoir;帕图斯…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

ALPBench公司

3份文件引用(2010–2019)
软件作者: Li,M.,Sasanka,R.,Adve,S.V.,kuang Chen,Y.,Debes,E
相关软件: 解析;溅射-2;PAPI…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX)

鸡蛋

4份文件引用(2021–2023)
软件作者: Max Willsey、Chandrakana Nandi、Yisu Remy Wang、Oliver Flatt、Zachary Tatlock、Pavel Panchekha
相关软件: CatLib;同意;Verigraph…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

柔道STM

3份文件引用(2012–2022)
软件作者: Olszewski,M.、Cutler,J.、Steffan,J.G。
相关软件: NOrec;DiSTM;TLRW…
主要字段: 计算机科学(68-XX)

SAFKASI公司

3份文件引用(2005–2015)
软件作者: D.S.Wallach、A.W.Appel、E.W.Felten
相关软件: 棱镜;JFlow;活页夹…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

验证

4份文件引用(2019–2021)
软件作者: 李玉良、阿林·多伊奇、维克托·维亚努
相关软件: 小卧室;Mcmt;尽快…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

cuHE公司

4份文件引用(2016–2022)
软件作者: 戴伟;伯克·苏纳尔
相关软件: CUDA;HElib;GitHub…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

DeepSpeed公司

4份文件引用(2021–2023)
软件作者: 微软;Rasley,J.,Rajbhandari,S.,Ruwase,O.,He,Y
相关软件: ELECTRA公司;GPT-3;Linformer…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

GTW公司

3份文件引用(1996–2019)
软件作者: Samir Das、Richard Fujimoto、Kiran Panesar、Don Allison、Maria Hybinette
相关软件: 罗斯;使徒;Python PDEVS…
主要字段: 偏微分方程(35-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

OptiX公司

3份文件引用(2014年-2023年)
软件作者: NVIDIA公司;史蒂文·帕克(Steven G.Parker)、詹姆斯·比格勒(James Bigler)、安德烈亚斯·迪特里希(Andreas Dietrich)、海科·弗里德里希(Heiko Friedrich)、贾里德·霍伯洛克(Jared Hoberock)、大卫·卢贝克(David Luebke)、大卫·麦卡利斯特(David Mcall
相关软件: SudoDEM;Blaze-DEMGPU;曝光渲染…
主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)…

JST公司

3份文件引用(2015–2017)
软件作者: Ghosh I、Shafiei N、Li G、蒋W
相关软件: S3;Z3-str;通过…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MedleySolver公司

3份文件引用(2021–2022)
软件作者: 尼基尔·皮姆帕尔切尔(Nikhil Pimpalkhare);费德里科·莫拉;伊丽莎白·波尔格林(Elizabeth Polgreen);Sanjit A.Seshia。
相关软件: 马赫SMT;z3;SATZILA…
主要字段: 计算机科学(68-XX)

Ocelot公司

2份文件引用(2013–2015)
软件作者: 迪亚莫斯,G.F.,克尔,A.R.,亚拉曼奇利,S.,克拉克,N。
相关软件: CUDA;开放式CL;铬…
主要字段: 计算机科学(68-XX)

PuReMD公司

3份文件引用(2014–2020)
软件作者: Kylasa,S.B.公司。;阿图尔加,H.M。;纽约格拉玛。
相关软件: ReaxFF;sPuReMD;灯…
主要字段: 数值分析(65-XX);统计力学,物质结构(82-XX)

张量摩尔

2份文件引用(2021–2023)
软件作者: 坤耀;等人。
相关软件: PhysNet;PointNet;折叠网…
主要字段: 近似和扩展(41-XX);欧氏空间(42-XX)的调和分析;数值分析(65-XX)…

Terra公司

2份文件引用(2015年至2022年)
软件作者: Zachary DeVito、James Hegarty、Alex Aiken、Pat Hanrahan、Jan Vitek
相关软件: 链子;DyNet;宏复制…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

ZKPDL公司

1份文件引用(2021)
软件作者: Sarah Meiklejohn、C.Christopher Erway、Alptekin Küpçü、Theodora Hinkle、Anna Lysyanskaya
相关软件: bplib;艾美;LIBSCAPI…
主要字段: 信息与通信理论,电路(94-XX)

自动密码

2份文件引用(2022–2023)
软件作者: 法比奥·亚历山大·格拉特(Fabio Alexander Gratl);斯泰芬·塞克勒;汉斯·约阿希姆·本加茨(Hans-Joachim Bungartz);菲利普·诺伊曼
相关软件: ms2;TweTriS;马尔丹…
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);流体力学(76-XX)…

巴拉库达

1份文件引用(2021)
软件作者: 阿里尔·艾森伯格(Ariel Eizenberg)、彭元峰(Yuanfeng Peng)、托马·皮格利(Toma Pigli)、威廉·曼斯基(William Mansky)、约瑟夫·迪维蒂(Joseph Devietti)
相关软件: GPU验证;GM种族;CURD…
主要字段: 计算机科学(68-XX)

CoCo公司

1份文件引用(2015)
软件作者: 徐国清
相关软件: Pycket;GHC公司
主要字段: 计算机科学(68-XX)

地窖管理员

2份文件引用(2014–2020)
软件作者: 彼得森,P.A.H。
相关软件: 泰索;TransCrypt;HyperCrypt…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

定义

2份文件引用(2023年)
软件作者: 胆汁,Igor;克莱斯,泽维尔;皮埃尔·福廷(Pierre Fortin);劳拉·格里戈里
相关软件: FFTW;BLAS;pchip…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);粒子和系统力学(70-XX)

DiMEPACK公司

2份文件引用(2006)
软件作者: 科瓦希克,M。;魏ß,C。
相关软件: MpCCI;卡切格林
主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)…

DNS工具

2份文件引用(2004–2008)
软件作者: Th.豪泽。;马托克斯,T.I。;勒博,R.P。;迪茨,H.G。;P.G.黄。
相关软件: 阿特拉斯
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

福克斯公共安全实验室

1份文件引用(2017)
软件作者: Sara Magliabane;菲利普·斯图茨(Philip Stutz);保罗·格罗斯;亚伯拉罕·伯恩斯坦
相关软件: 索赔评估;HyPER;博客…
主要字段: 统计学(62-XX);计算机科学(68-XX)

HPP网络模拟

在0个文档中引用
软件作者: ——
相关软件: SimK;查科
主要字段: ——

锯齿状突起

2份文件引用(2012–2020)
软件作者: Pham Quang,Phuong;德林尚特,伯努瓦
相关软件: Matlab;ADiJaC;dco/c++…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

卡斯科

在0个文档中引用
软件作者: Joana M.F.da Trindade、Konstantinos Karanasos、Carlo Curino、Samuel Madden、Julian Shun
相关软件: 利格拉;图形框架;WebGraph…
主要字段: ——

多种族

1份文件引用(2017)
软件作者: 埃利·波兹尼安斯基(Eli Pozniansky),阿萨夫·舒斯特(Assaf Schuster)
相关软件: 螺纹消毒剂;CDS检查器;ktsan…
主要字段: 计算机科学(68-XX)

QSYM公司

1份文件引用(2023年)
软件作者: Yun I、Lee S、Xu M、Jang Y、Kim T。
相关软件: 内乌兹;FuzzGen;DifFuzz…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

RUMD公司

1份文件引用(2022)
软件作者: 尼古拉斯·贝利(Nicholas P.Bailey)、特隆德·英格布雷格森(Trond S.Ingebrigtsen
相关软件: OpenMM;车灯;琥珀色…
主要字段: 流体力学(76-XX)

SociaLite公司

1份文件引用(2022)
软件作者: Jiwon Seo;Stephen Guo;莫妮卡·S·林
相关软件: 普雷格尔;大数据日志;奈德…
主要字段: 计算机科学(68-XX)

斯塔丹

1份文件引用(2011)
软件作者: Francisco Ortin、Miguel Garcia、Baltasar Garcia Perez Schofield、Jose Quiroga
相关软件: 红宝石;RPython;Pycket…
主要字段: 计算机科学(68-XX)

星光大道2号

2份文件引用(2019–2024)
软件作者: 奥格尔维,H.A.,布卡特,R.R.,德拉蒙德,A.J。
相关软件: treeOclock;MURPAR公司;跨骑…
主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);运筹学,数学规划(90-XX)…

电视监控

1份文件引用(2021)
软件作者: 陈田琪(Tianqi Chen)、蒂埃里·莫罗(Thierry Moreau)、姜子亨(Ziheng Jiang)、郑连敏(Lianmin Zheng)、颜爱迪(Eddie Yan)、梅根·考恩(Meghan Cowan
相关软件: 异丙基氯;POMDPs.jl;Python…
主要字段: 计算机科学(68-XX)

邮政编码系统

2份文件引用(2020–2021)
软件作者: Niksefat,S。;Sadeghiyan,B。;莫哈塞尔,P。;SS萨德基安
相关软件: FairplayMP;github;澳大利亚银行
主要字段: 信息与通信理论,电路(94-XX)

使徒

1份文件引用(2019)
软件作者: 旺纳科特,P。;D.布鲁斯。
相关软件: Python PDEVS;GridSpice;GTW…
主要字段: 运筹学、数学规划(90-XX)

AutoSA公司

1份文件引用(2021)
软件作者: J.Wang、L.Guo、J.Cong
相关软件: PYNQ;PyRTL;冲突…
主要字段: 计算机科学(68-XX)

大rf

在0个文档中引用
软件作者: 林A。
相关软件: R;格格作响;多核…
主要字段: ——

字节转换器

1份文件引用(2023年)
软件作者: 翟玉佳、蒋程泉、王乐元、贾小英、张尚、陈自忠、刘鑫、朱一博
相关软件: Sunny.jl;OpenBLAS(开放BLAS)
主要字段: 量子理论(81-XX);统计力学,物质结构(82-XX)

CAS-DSM公司

1份文件引用(2004)
软件作者: 新泽西州马诺伊。;有限责任公司Manjunath。;戈文达拉扬,R。
相关软件: PVM公司
主要字段: 计算机科学(68-XX)

洞穴洞穴

1份文件引用(2015)
软件作者: 六月,布萨。;贾恩·布萨;Hayryan,Shura;胡金坤;吴明霞
相关软件: 洞穴;开放运算语言
主要字段: 生物学和其他自然科学(92-XX)

CG细胞

1份文件引用(2008)
软件作者: 李栋;黄,宋;柯克·卡梅隆
相关软件: ——
主要字段: 数值分析(65-XX);计算机科学(68-XX)

卡达克劳

1份文件引用(2015)
软件作者: J.A.Stuart、H.Gorune Ohannessian、K.Mandli、G.Turkiyyah、J.D.Owens、D.Ketcheson
相关软件: 偏见;夹紧装置
主要字段: 流体力学(76-XX)

DLVM(分布式虚拟机)

在0个文档中引用
软件作者: Richard Wei、Vikram Adve、Lane Schwartz
相关软件: 卤化物;PyTorch;NNVM…
主要字段: ——

ELINA公司

1份文件引用(2017)
软件作者: Gagandeep Singh;Püschel,马库斯;马丁·维切夫(Martin Vechev);苏黎世ETH
相关软件: PPL;停机坪
主要字段: 计算机科学(68-XX)

快速AD

在0个文档中引用
软件作者: 詹姆斯·杨
相关软件: 娴熟;ADOL-C;斯坦…
主要字段: ——

快速测试-3D

1份文件引用(2007)
软件作者: Christoph Scheit、Georg Hager、Jan Treibig、Stefan Becker、Gerhard Wellein
相关软件: 莱索克
主要字段: 流体力学(76-XX);经典热力学,传热(80-XX)

弗雷格尔

1份文件引用(2022)
软件作者: 岩崎、秀霞;肯托州埃莫托;森田、秋叶;松崎,Kiminori;胡镇江
相关软件: SympleGraph;美人鱼;PathGraph…
主要字段: 计算机科学(68-XX)

FULLDOC公司

1份文件引用(2000)
软件作者: 克拉拉·贾拉米洛;拉吉夫·古普塔;索法,玛丽·卢
相关软件: ——
主要字段: 计算机科学(68-XX)

图形框架

在0个文档中引用
软件作者: ——
相关软件: WebGraph;NetworkX;空标题…
主要字段: ——

启动3d

1份文件引用(2018)
软件作者: 车永刚;徐传福;王彤彤
相关软件: AMROC;磁粉探伤
主要字段: 数值分析(65-XX);流体力学(76-XX);经典热力学,传热(80-XX)

libFastMesh数据库

1份文件引用(2024)
软件作者: 马泰奥·法隆;阿隆·扎默雷特;德洛姆,Yann;埃德里(Edri)、亚尼尔(Yanir);Amouyal,Solal A.T。;马克·瓦瑟曼(Mark Wasserman);丁朝晖;瓦莱里奥·达莱桑德罗
相关软件: PETSc4FOAM;caafoam公司;开放式泡沫
主要字段: 计算机科学(68-XX);流体力学(76-XX)

灯光

1份文件引用(2013)
软件作者: 左、明;沃尔克·哈尔斯列夫
相关软件: FaCT++;SATLIB基准套件;赛车…
主要字段: 计算机科学(68-XX)

Linq优化器

1份文件引用(2017)
软件作者: N.Palladinos,K.Rontogiannis
相关软件: OCaml;ScalaBlitz;单胞菌…
主要字段: 计算机科学(68-XX)

NChooseK公司

1份文件引用(2019)
软件作者: Khetawat,Harsh;阿什莱沙·阿特里;乔治·李;弗兰克·米勒(Frank Mueller);斯科特·帕金
相关软件: QISKit公司;openQASM;Microsoft Quantum…
主要字段: 计算机科学(68-XX);量子理论(81-XX)

NNVM(网络虚拟机)

在0个文档中引用
软件作者: 保罗·G·艾伦;陈天奇(Tianqi Chen)
相关软件: 卤化物;PyTorch;XLA…
主要字段: ——

诺尼奥

在0个文档中引用
软件作者: 里卡多·诺布尔、乔·比斯波、蒂亚戈·卡瓦略、乔昂·卡多佐
相关软件: TACT;科尔;橡胶树…
主要字段: ——

ProGraML软件

在0个文档中引用
软件作者: Chris Cummins、Zacharias V.Fisches、Tal Ben-Nun、Torsten Hoefler、Hugh Leather
相关软件: 亚当;XLA;TensorFlow…
主要字段: ——

ROSA公司

在0个文档中引用
软件作者: Rathijit Sen、Jianqiao Zhu、Jignesh M.Patel、Somesh Jha
相关软件: pqR;R;人金…
主要字段: ——

ShOpt.jl公司

在0个文档中引用
软件作者: 爱德华·伯曼(Edward Berman);杰奎琳·麦克利里
相关软件: COSMOS-Web;WebbPSF;GalSim…
主要字段: ——

SIFT公司

1份文件引用(2014)
软件作者: Ozsoy、Meltem;德米特里·波诺马列夫;Abu-Ghazaleh,内尔;苏里、塔米什
相关软件: JFlow;电梯;M-Sim公司
主要字段: 计算机科学(68-XX)

智能应用程序

1份文件引用(2001)
软件作者: 劳伦斯·劳希沃格(Lawrence Rauchwerger);南希·M·阿马托。;约塞普·托雷拉斯
相关软件: VCODE(视频编码)
主要字段: 计算机科学(68-XX)

智能

1份文件引用(2018)
软件作者: 谭光明;刘俊红;李佳佳
相关软件: 保管;SpMV;swSpTRSV…
主要字段: 数值分析(65-XX)

自旋求和

1份文件引用(2019)
软件作者: 保罗·施普林格;德文·马修斯;保罗·比伦蒂内西
相关软件: HPTT;TTC;首席财务官…
主要字段: 数值分析(65-XX);量子理论(81-XX)

向量乘法

1份文件引用(2018)
软件作者: 谭光明;刘俊红;李佳佳
相关软件: 保管;swSpTRSV;pOSKI…
主要字段: 数值分析(65-XX)

筛选结果依据…

全部的 前5名

相关软件