×

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

伊莎贝尔/HOL

1076份文件引用(1996–2024)
软件作者: 沃尔夫冈·纳拉斯切夫斯基(Wolfgang Naraschewski);托比亚斯·尼普科
相关软件: 伊莎贝尔;Coq;HOL…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

伊莎贝尔

742份文件引用(1990–2024)
软件作者: 拉里·保尔森(Larry Paulson)、托比亚斯·尼普科(Tobias Nipkow)、马卡里乌斯·温泽尔(Makarius Wenzel)
相关软件: Isabelle/HOL;HOL;Coq…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

开放式泡沫

666份文件引用(2007–2024)
软件作者: OpenCFD有限公司(ESI集团)
相关软件: FLUENT公司;github;Matlab…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

LS-DYNA公司

331份文件引用(1982–2023)
软件作者: LSTC公司
相关软件: DYNA3D;ABAQUS;ANSYS…
主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);变形固体力学(74-XX)…

PVM公司

279篇文献引用(1992–2022)
软件作者: 盖斯特;贝格林;东加拉;江;曼切克;桑德拉姆
相关软件: 磁粉检测;LAPACK;ScaLAPACK…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

LEDA公司

266份文件引用(1990–2023)
软件作者: 库尔特·梅尔霍恩(Kurt Mehlhorn);纳什,斯特凡
相关软件: CGAL;CPLEX;助推…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

低成本融资

164篇文献引用(1972年至2024年)
软件作者: 罗宾·米尔纳
相关软件: Coq;毫升;HOL…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);范畴理论;同调代数(18-XX)…

ETPS公司

162篇文献引用(1986–2022)
软件作者: 彼得·安德鲁斯(Peter Andrews)、马修·毕晓普(Matthew Bishop)、查德·布朗(Chad E.Brown)、苏尼尔·伊萨尔(Sunil Issar)、丹·内史密斯(Dan Nesmith)、弗兰克·普芬宁(Frank Pfenning
相关软件: TPS;Isabelle/HOL;HOL…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

OpenGL(OpenGL)

111篇文献引用(1994–2023)
软件作者: Khronos集团
相关软件: CUDA;Cg;OpenCL…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

伊莎贝尔/采埃孚

引用于70篇文献(1993–2023)
软件作者: 劳伦斯·保尔森
相关软件: 伊莎贝尔;Coq;Isabelle/HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…

TI-Nspire公司

3份文件引用(2008–2012)
软件作者: 德克萨斯仪器公司
相关软件: GeoGebra;ClassPad;衍生…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);几何(51-XX)…

精密路径指示器

在30份文件中引用(2002–2021)
软件作者: Dongarra,J;http://icl.cs.utk.edu/papi/people/index.html
相关软件: ATLAS;PETSc;PHiPAC…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

二进制连接

33篇文献引用(2017–2023)
软件作者: 马蒂厄·库巴里奥(Matthieu Courbariaux)、约书亚·本吉奥(Yoshua Bengio)、珍妮·皮埃尔·戴维(Jean-Pierre David)
相关软件: ImageNet;XNOR-Net;AlexNet…
主要字段: 近似和扩展(41-XX);统计学(62-XX);数值分析(65-XX)…

GEMM公司

28篇文献引用(1995–2012)
软件作者: 每令
相关软件: BLAS;LAPACK;ATLAS…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…

捕捉

30篇文献引用(1999–2019)
软件作者: 奥利弗·古德曼
相关软件: SnapPea;SnapPy;岩浆…
主要字段: \(K\)理论(19-XX);群论与推广(20-XX);微分几何(53-XX)…

Cadence SMV公司

22篇文献引用(2000–2018)
软件作者: 麦克米兰K·L。
相关软件: NuSMV;自旋蛋白;SPOT…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

液体

13份文件引用(2018–2023)
软件作者: Dave Wecker、Krysta M.Svore
相关软件: qHiPSTER;项目Q;Python…
主要字段: 数论(11-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

CholQR公司

18篇文献引用(2015–2023)
软件作者: 山崎一郎;斯坦尼米尔·托莫夫;杰克·东加拉
相关软件: mctoolbox;CholeskyQR2;LBNL…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

头晕

16篇文献引用(2007–2019)
软件作者: Ramsey,S.、Orrell,D.、Bolouri,H。
相关软件: 棱镜;生物-PEPA;Matlab…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…

qHiPSTER公司

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

霍姆4PS-3

16篇文献引用(2014–2024)
软件作者: 陈天然;Lee,Tsung-Lin;李天恩
相关软件: PHCpack;贝尔蒂尼;数字代数几何…
主要字段: 交换代数(13-XX);代数几何(14-XX);凸和离散几何(52-XX)…

利比亚国际银行

9份文件引用(2015–2021)
软件作者: 穆雷LM
相关软件: R;vSMC;盛况…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

方庭

15篇文献引用(2006–2020)
软件作者: 科特迪瓦贝尔班;亨利·吉尔伯特;雅克·帕塔林
相关软件: 麦克利埃塞;eSTREAM;ZHFE…
主要字段: 数论(11-XX);计算机科学(68-XX);量子理论(81-XX)…

MFIX-DEM公司

14篇文献引用(2015–2022)
软件作者: 拉胡尔·加尔格;珍妮·加尔文;李廷文;斯里坎斯·潘纳拉
相关软件: OpenFOAM;跛行;亮点…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);粒子力学与系统(70-XX)…

索利娅

14篇文献引用(2010–2023)
软件作者: 西尔万·切维拉德;米奥拉乔尔德什;克里斯托弗·劳特
相关软件: 加帕;MPFR;Coq…
主要字段: 实函数(26-XX);近似和扩展(41-XX);数值分析(65-XX)…

英国石油协会

在10份文件中引用(2010–2023)
软件作者: 陈昌波、法南·曼苏里、马克·莫雷诺·马扎、谢宁、谢玉珍
相关软件: 岩浆;打火石;正则链…
主要字段: 数论(11-XX);场论与多项式(12-XX);交换代数(13-XX)…

聚乙烯/ML

11份文件引用(2011–2020)
软件作者: 大卫马修斯
相关软件: 伊莎贝尔;Isabelle/HOL;HOL…
主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

SELL_C_西格玛

12份文件引用(2014–2023)
软件作者: 莫里茨·克鲁泽;乔治·海格(Georg Hager);Gerhard Wellein;霍尔格·费斯克;阿兰·R·毕晓普。
相关软件: 稀疏矩阵;CUDA;保管…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)

欧西里克斯

5份文件引用(2015–2018)
软件作者: Antoine Rosset、Luca Spadola、Osman Ratib
相关软件: VTK;PixelMed公司;ITK…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

ReCirq公司

11份文件引用(2020–2023)
软件作者: 谷歌AI Quantum
相关软件: QISKit;Q电路;OpenFermion…
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…

辛迪JS

9份文件引用(2016–2021)
软件作者: 冯·盖格恩,马丁;乌尔里奇·科滕坎普;里希特·盖伯特(Jürgen Richter-Gebert);迈克尔·斯特罗贝尔
相关软件: 灰姑娘;GeoGebra;CindyGL…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);几何(51-XX)…

博西

9份文件引用(2019–2021)
软件作者: 彼得·费蒙维尔(Peter Faymonville);芬克贝纳(Bernd Finkbeiner);Leander Tentrup公司
相关软件: Strix公司;SPOT;相思树+…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

OpenFace(开放面)

5份文件引用(2018年至2021年)
软件作者: Amos,B.,Ludwiczuk,B.,Satyanarayanan,M。;T.Baltrušaitis、P.Robinson、L.P.Morency
相关软件: LFW;蟒蛇;FaceNet…
主要字段: 统计学(62-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

npu调度程序

8份文件引用(2017–2022)
软件作者: 马丁·约瑟夫·盖革
相关软件: PSPLIB;gpremeencemm;累积mm…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

ACEMD公司

3份文件引用(2011–2016)
软件作者: Harvey M.、Giupponi G.和De Fabritis G。
相关软件: CUDA;NAMD;琥珀色…
主要字段: 数值分析(65-XX);流体力学(76-XX);统计力学,物质结构(82-XX)

BEAGLE公司

5份文件引用(2014–2023)
软件作者: 艾尔斯·D.L.、达林·A.、兹维克·D.J.、比利·P.、霍尔德·M.T.、刘易斯·P.O.、胡尔森贝克·J.P.、罗奎斯特·F.、斯沃福德·D.L..、卡明斯·M.P.、兰伯特·A.、苏查德·M.A。
相关软件: 野兽;贝叶斯先生;R、 …
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…

Picat-SAT卫星

7份文件引用(2017–2024)
软件作者: Zhou,N.-F.,Kjellerstrand,H。
相关软件: 微量锌;CHUFFED公司;桑尼…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)

精神病患者

1份文件引用(2019)
软件作者: 乔纳森·皮尔斯
相关软件: 蟒蛇;R;魔法…
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX)

克利夫索

6篇文献引用(2010–2020)
软件作者: Gentile A.、Segreto S.、Sorbello F.、Vassallo G.、Vitable S.、Vullo V。
相关软件: 盖根;加洛普;CLU…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

资料收集库

6篇文献引用(2006–2011)
软件作者: Walsh,N.,Muellner,L。
相关软件: LeActiveMath;OMDoc;ActiveMath…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);数学教育(97-XX)

霍内

5份文件引用(2009–2021)
软件作者: Danny van Dyk、Markus Geveler、Sven Mallach、Dirk Ribbrock、Dominik Göddeke、Carsten Gutwenger
相关软件: CUDA;OpenCL;FEAT3…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

虹膜

5份文件引用(2004–2021)
软件作者: G.Elber,以色列海法Technion计算机科学系
相关软件: VTK;犰狳;CMake…
主要字段: 偏微分方程(35-XX);凸和离散几何(52-XX);数值分析(65-XX)…

米莫拉

3份文件引用(1995–2006)
软件作者: S Bashford、U Bieker、B Harking、R Leupers、P Marwedel、A Neumann、D Voggenauer;多特蒙德大学
相关软件: 火焰;Sehwa;ISDL…
主要字段: 计算机科学(68-XX);系统论;对照组(93-XX);信息与通信理论,电路(94-XX)

网格求解

4份文件引用(2010年)
软件作者: 乌拉尔,奥雷利;亚辛·亚尔汗
相关软件: OmniRPC;饮食;Ninf-G/MPI…
主要字段: 数值分析(65-XX);计算机科学(68-XX);系统论;控制(93-XX)

数学卫星

3份文件引用(2012–2014)
软件作者: 胡安·费利克斯·桑·胡安、路易斯·玛丽亚·洛佩兹、罗萨里奥·洛佩斯
相关软件: TSA;采摘;ATESAT…
主要字段: 粒子和系统力学(70-XX)

MPIR公司

5份文件引用(2012–2018)
软件作者: 布莱恩·格拉德曼(Brian Gladman)、杰森·莫克瑟姆(Jason Moxham)、威廉·哈特(William Hart);等。
相关软件: 打火石;阿伯;MPFR…
主要字段: 数论(11-XX);特殊功能(33-XX);数值分析(65-XX)…

Rely公司

5份文件引用(2018–2022)
软件作者: M.Carbin、S.Misailovic、M.Rinard
相关软件: 胡迪尼;APL;VeriFast…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

柔软

5份文件引用(2009–2010)
软件作者: M.加贝。;Smaoui,M。;de Brye,N。;C·皮卡德。
相关软件: CP网络;NFFT3;NFFT…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)

VeriCon公司

5份文件引用(2014–2021)
软件作者: Ball,T.、Bjorner,N.、Gember,A.、Itzhaky,S.、Karbyshev,A.、Sagiv,M.、Schapira,M.和Valadarsky,A。
相关软件: NetKAT;食蚁兽;Kuai…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

BioStream公司

2份文件引用(2008–2020)
软件作者: Thies,William;约翰·保罗·乌尔班斯基(John Paul Urbanski);托德·托德·托森(Todd Thorsen);萨曼·阿马拉辛格
相关软件: COPASI;波特车轮;雏菊
主要字段: 组合数学(05-XX);计算机科学(68-XX)

水晶球

4份文件引用(2019–2022)
软件作者: 马特·索斯;拉加夫·库尔卡尼;Kuldeep S.梅尔。
相关软件: 糠;迷你卫星;OTTER…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

DIF树

4份文件引用(2003–2017)
软件作者: J.B.Dugan、B.Venkataraman、R.Gulati
相关软件: DFTCalc;CADP;MRMC…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)

ParaMEME公司

3份文件引用(2002–2015)
软件作者: Grundy WN、Bailey TL、Elkan CP
相关软件: MAVisto公司;算法97;PAML…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…

像素鹰

4份文件引用(2014–2022)
软件作者: Meier,L。;Tanskanen,P。;弗伦多费尔,F。;Pollefeys,M。
相关软件: MonoSLAM;github
主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);系统论;控制(93-XX)…

销售额

4份文件引用(1970–1975)
软件作者: 莫里斯;米,秒。;西弗吉尼亚州希瑟
相关软件: PDEL;俚语;代理…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

ScopeShell公司

3份文件引用(2011–2014)
软件作者: 莫斯科国立大学;DP Kostomarov,FS Zaitsev,AG Shishkin公司
相关软件: 托卡马克;塔迪斯;泊松解算器…
主要字段: 数值分析(65-XX);流体力学(76-XX);统计力学,物质结构(82-XX)

地理统计.jl

3份文件引用(2022–2023)
软件作者: 霍夫曼;朱利奥
相关软件: JuMP;针织衫;图灵…
主要字段: 可变形固体力学(74-XX);地球物理学(86-XX);系统论;对照(93-XX)

哈斯普林

2份文件引用(2009年至2017年)
软件作者: Lee,Junkyu;毕、余;Gregory D.Peterson。;Robert J.Hinde。;罗伯特·哈里森。
相关软件: SPRNG;测试U01;RngSteam…
主要字段: 数值分析(65-XX)

电梯

1份文件引用(2014年)
软件作者: 冯琴、王成、李振民、金和硕、周媛媛、吴友峰
相关软件: JFlow;M-Sim;SIFT…
主要字段: 计算机科学(68-XX)

佩克利斯

2份文件引用(2011年至2013年)
软件作者: 多伦·齐尔伯格
相关软件: Pekeris;Mathematica;qTSPP…
主要字段: 历史与传记(01-XX);偏微分方程(35-XX);量子理论(81-XX)

皮夫

2份文件引用(2020年至2022年)
软件作者: 巴斯蒂安·文丘尔(Bastian Venthur);西蒙·斯科勒;约翰·威廉姆森;斯文·达赫内;Matthias S Treder;玛丽亚·T·克拉马雷克;克劳斯·罗贝特·米勒;本杰明·布兰克茨
相关软件: pyFFS;蟒蛇;数字标识…
主要字段: 近似和扩展(41-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

SimpleSet(简单设置)

在0个文档中引用
软件作者: 陈云涛、韩晨霞、李阳浩、黄泽浩、易江、王乃燕、张兆祥
相关软件: 探测器;MMDetection;咖啡…
主要字段:

超级计算机

3份文件引用(2010–2023)
软件作者: 温泽尔·本纳,基督徒;格拉夫、延斯
相关软件: 麦克利埃塞;mCrypton;高度…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

超级胶水

3份文件引用(2015–2022)
软件作者: 马丁·蒂莱尼乌斯
相关软件: OmpSs;StarPU;Hadoop…
主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)

UltraSONIC公司

3份文件引用(2002)
软件作者: 西蒙·海恩斯(Simon D.Haynes)。;Henry G.Epsom。;理查德·库珀(Richard J.Cooper)。;Paul L.McAlpine。
相关软件:
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

澳大利亚-R

2份文件引用(2016)
软件作者: 谭佳奇;Tay,Hui Jun;拉杰夫·甘地;Priya Narasimhan
相关软件: 达夫尼;MiBench公司;维拉斯科…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

CABAL公司

2份文件引用(1997–2002)
软件作者: 亚瑟·诺曼;惠誉,约翰
相关软件: CS;gfun;COBALG公司
主要字段: 交换代数(13-XX);计算机科学(68-XX)

DNS工具

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

EnerJ公司

2份文件引用(2018–2022)
软件作者: Sampson,A.、Ditel,W.、Fortuna,E.、Gnanapragasam,D.、Ceze,L.、Grossman,D。
相关软件: zfp;github;FPTuner…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

GBOOST公司

1份文件引用(2018)
软件作者: Yung LS1、Yang C、Wan X、Yu W。
相关软件: 随机生存森林;CRAN;ggRandomForests…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

HALT公司

1份文件引用(2006)
软件作者: M.Mercaldi、M.D.Smith、G.Holloway
相关软件: SUIF;SUIFvm;锡林克斯
主要字段: 计算机科学(68-XX)

爪哇本泽

2份文件引用(2015–2016)
软件作者: Jungck John R.、Streif Vince、Jungck Peder、Everse Stephen
相关软件: 生物记录器;擅长;VBA…
主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

MatryODShka公司

2份文件引用(2022–2023)
软件作者: 本杰明·阿塔尔(Benjamin Attal)、赛琳娜·玲(Selena Ling)、亚伦·戈卡斯兰(Aaron Gokaslan)、克里斯蒂安·理查德(Christian Richardt)、詹姆斯·汤普金
相关软件: 布里斯克;效率检测;面2面…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

NuMesh(NuMesh)

1份文件引用(1996)
软件作者: 大卫·舒梅克(David Shoemaker);奥诺雷,弗兰克;克里斯·梅特卡夫(Chris Metcalf);史蒂夫·沃德
相关软件: XPP-VC公司
主要字段: 计算机科学(68-XX)

OpenVino公司

在0个文档中引用
软件作者: 英特尔
相关软件: TensorFlow;PyTorch;Python…
主要字段:

RC-BLASTn公司

在0个文档中引用
软件作者: 达塔,S。;比拉卡,P。;R·萨斯。
相关软件: SS-Wrapper;爆炸;PSI-BLAST…
主要字段:

rxncon公司

2份文件引用(2020–2022)
软件作者:
相关软件: PySB;生物CHAM;BioNetGen…
主要字段: 生物学和其他自然科学(92-XX)

STABLE(稳定)

2份文件引用(2014–2018)
软件作者: Pavlenko,E。;韦德勒,M。;斯托菲尔,D。;Kunz,W。;等人。
相关软件: 单一;宠物老板;ABC…
主要字段: 交换代数(13-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

vec分解

2份文件引用(2017–2023)
软件作者: Vincenti,H。;Lobet,M。;莱赫,R。;萨桑卡,R。;维伊,J.-L。
相关软件: MUMPS;斯迈雷;PETSc公司
主要字段: 数值分析(65-XX)

XACC公司

1份文件引用(2022)
软件作者: 麦卡斯基,A.J。;Dumitrescu,E.F。;Liakh,D。;陈,M。;冯·W。;洪堡,T.S。
相关软件: LLVM;开放费米子;问题#…
主要字段: 量子理论(81-XX)

ZAME公司

1份文件引用(2014年)
软件作者: Elmqvist,N.、Do,T.N.、Goodell,H.、Henry,N.和Fekete,J.D
相关软件: ThermalPlot;HAMA;嫁接…
主要字段: 统计学(62-XX);计算机科学(68-XX)

阿格托姆

1份文件引用(1983)
软件作者: Moscardini,A.O。;刘易斯,B.A。;克罗斯,M。
相关软件:
主要字段: 数值分析(65-XX);可变形固体力学(74-XX)

AMASIVE公司

1份文件引用(2013年)
软件作者: Huss,Sorin A。;马克·斯特廷格(Marc Stöttinger);迈克尔·佐纳
相关软件: 出席
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

ASL公司

在0个文档中引用
软件作者: Avtech Scientific公司
相关软件: 旗鱼;ITK;帕拉博斯…
主要字段:

Barrelfish鱼

1份文件引用(2018)
软件作者:
相关软件: CertiKOS;seL4;伊莎贝尔/HOL
主要字段: 计算机科学(68-XX)

Beatbox公司

1份文件引用(2016)
软件作者: 罗斯·麦克法兰;比克塔舍娃四世
相关软件: 心脏;刻痕;GitHub…
主要字段: 可变形固体力学(74-XX);生物学和其他自然科学(92-XX)

大数据脚本

在0个文档中引用
软件作者: 辛戈拉尼,P,斯莱德,R,布兰切特,M
相关软件: 火花;knitr;数字标识…
主要字段:

博特鲁

1份文件引用(2021)
软件作者: Abo-Alsood,哈迪尔·哈迪;哈桑·拉希德·亚森
相关软件: OTRU;HXDTRU公司
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

CAOS公司

1份文件引用(2020)
软件作者: 马可·拉博齐
相关软件:
主要字段: 总体主题;藏品(00-XX);系统论;控制(93-XX)

中央控制单元++

1份文件引用(2016)
软件作者: D.D.J.Chandar、J.Sitaraman、D.Mavrilis
相关软件: 坎特伯雷大学;内博;PoKiTT…
主要字段: 数值分析(65-XX);计算机科学(68-XX);经典热力学,传热(80-XX)

快速NeRF

1份文件引用(2022)
软件作者: 斯蒂芬·加宾、马雷克·科瓦尔斯基、马修·约翰逊、杰米·肖顿、朱利安·瓦伦丁
相关软件: 布里斯克;效率检测;面2面…
主要字段: 计算机科学(68-XX)

萤火虫

1份文件引用(2015)
软件作者: 罗伯特·梅里森·霍特
相关软件: PyOpenCL;odeint;PyCUDA…
主要字段: 常微分方程(34-XX);动力系统和遍历理论(37-XX)

富恩苏尔

在0个文档中引用
软件作者: 苏亚布·阿斯兰
相关软件:
主要字段:

齿轮传动装置

在0个文档中引用
软件作者: 彼得·斯坦巴赫(Peter Steinbach)、马提亚斯·沃纳(Matthias Werner)
相关软件: 增强C++库;clFFT;袖口…
主要字段:

HAWQ公司

在0个文档中引用
软件作者: 郑东、姚哲伟、阿米尔·戈拉米、迈克尔·马奥尼、库尔特·凯泽尔
相关软件: MorphNet;HardCoReNAS;PLiNIO…
主要字段:

iPACE-V1型

1份文件引用(2002)
软件作者: 汗,贾瓦德;曼尼什省汉达市;Ranga Vemuri公司
相关软件:
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

NChooseK公司

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

NDP工具

在0个文档中引用
软件作者: 克里斯托夫·德鲁尔斯(Christophe Deroulers)、大卫·阿梅森(David Ameisen)、马蒂尔德·巴杜尔(Mathilde Badoual)、克洛伊·杰林(ChloéGerin)、亚历山大·格拉尼尔(Alexandre Granier)、马克·拉托德(
相关软件: libjpeg-turbo;LibTIFF;图形Magick…
主要字段:

普里瓦多

在0个文档中引用
软件作者: Karan Grover、Shruti Tople、Shweta Shinde、Ranjita Bhagwan、Ramachandran Ramjee
相关软件: PyTorch;SqueezeNet;凯龙…
主要字段:

心理工具箱

1份文件引用(2021)
软件作者:
相关软件: DeepLabCut;心理物理学;猕猴姿势…
主要字段: 生物学和其他自然科学(92-XX)

筛选结果依据…

全部的 前5名

相关软件