×

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

利赫罗

59篇文献引用(2018–2023)
软件作者: Ames,S.、Hazay,C.、Ishai,Y.、Venkitasubramaniam,M。
相关软件: 力比奥;ZKBoo;斯巴达人…
主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…

GHC公司

39篇文献引用(1986–2023)
软件作者: Kazunori上田
相关软件: PARLOG;SICStus公司;Kima…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

zk-快照

32篇文献引用(2014–2024)
软件作者: Eli Ben-Sasson;亚历山德罗·基耶萨;特罗姆,埃兰;夫人维尔扎
相关软件: 皮诺奇;C的SNARK;GitHub…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

DiSCO公司

21篇文献引用(2017–2024)
软件作者: 张雨晨、小林
相关软件: AIDE;LIBSVM;HOGWILD…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

高性能混凝土

9份文件引用(1999–2021)
软件作者: Saini,Subhash;罗伯特·乔蒂;Brian T.N.Gunney。;Thomas E.Spelce。;爱丽丝·科尼格斯(Alice Koniges);Dossa,Don;Adamidis、Panagiotis;拉本塞夫纳,罗尔夫;Sunil R.Tiyyagura。;马蒂亚斯·穆勒
相关软件: LINPACK;NAS平行基准;流…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

2L_编号

14篇文献引用(2015–2024)
软件作者: 亚当·波恩(Adam Bohn);尤里·法恩扎;塞缪尔·菲奥里尼;Fisikopoulos、Vissarion;马可·马奇亚;坎斯坦钦·帕什科维奇
相关软件: 01聚乙烯;麦考利2号;SageMath…
主要字段: 组合数学(05-XX);交换代数(13-XX);凸和离散几何(52-XX)…

AIDE公司

10篇文献引用(2017–2023)
软件作者: 萨珊克·雷迪(Sashank J.Reddi)、雅库布·科内奇(Jakub Koneñn)、彼得·里奇塔里克(Peter Richtárik)、巴纳巴斯·波茨(Barnabás Póczós)、亚历克斯·斯莫拉(Alex Smola)
相关软件: DiSCO;D-ADMM;RCV1…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

穆西格2

10篇文献引用(2021–2023)
软件作者: Nick,J.、Ruffing,T.、Seurin,Y。
相关软件: github;霜;SR-MuSig2…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

RACHET公司

引用于7份文件(2002–2013)
软件作者: Nagiza F.Samatova、George Ostrouchov、Al Geist和Anatoli V.Melechko
相关软件: AS 136;SMOTE公司
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)…

戴德梁行

8份文件引用(2016–2022)
软件作者: Slattery SR、Wilson PPH、Pawlowski RP。
相关软件: 预CICE;MpCCI;MCT…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

SEISCOPE公司

8份文件引用(2016–2024)
软件作者: L.Meítiver、R.Brossier
相关软件: L-BFGS;MUMPS;SMIwiz…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

传感器DCSP

4份文件引用(2005–2020)
软件作者: 拉蒙贝加尔;卡梅尔·多姆什拉克;塞萨尔·费尔南德斯;卡拉·戈麦斯;克里斯纳马查里(Krishnamachari,Bhaskar);巴特·塞尔曼;瓦尔斯,马格达
相关软件: DisChoco;CSPLib;算法97…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

阿尔戈维基

5份文件引用(2017–2022)
软件作者: V.Voevodin、A.Antonov和J.Dongarra
相关软件: CAE Fidesys公司;SPL征服者;Scalasca…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

SCL-HYB总成

6篇文献引用(2016年-2023年)
软件作者: Satarić,Bogdan;弗拉基米尔·斯拉夫尼奇;Aleksandar Belić;安顿巴拉日;保萨米·穆鲁加南丹(Paulsamy Muruganandam);Adhikari,Sadhan K。
相关软件: GP-SCL;实时3d-hyb;imagtime3d hyb…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

丝状物

5份文件引用(1998–2003)
软件作者: 文斯·弗里(Vince Freeh)、大卫·洛文塔尔(David Lowenthal)、格雷格·安德鲁斯(Greg Andrews)、道森·R·恩格尔(Dawson R.Engler)
相关软件: TPVM;MPI/MPICH;珍珠包…
主要字段: 计算机科学(68-XX)

CHOPtrey公司

4份文件引用(2020–2022)
软件作者: Ben Khaled-El Feki,A。;杜瓦尔,L。;Faure,C。;西蒙,D。;本·盖德,M。
相关软件: FMI;亚当斯;LSODE…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子和系统力学(70-XX)

低温TFlow2

4份文件引用(2021–2024)
软件作者: Deevashwer Rathee;马扬克省Rathee;Nishant Kumar;Nishanth Chandran;迪维亚·古普塔;阿西姆·拉斯托吉
相关软件: 瞪羚;n图-HE;TensorFlow…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

GRECS公司

4份文件引用(2017–2022)
软件作者: Meng,X.、Kamara,S.、Nissim,K.、Kollios,G。
相关软件: github;图形实验室;算法97…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

萨摩亚2

4份文件引用(2017–2020)
软件作者: 奥利弗·梅斯特(Oliver Meister);卡维·拉内马;迈克尔·巴德
相关软件: GEOCLAW公司;森林爪;皮诺…
主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)

ARTCP公司

2份文件引用(2001–2002)
软件作者: 阿列克谢耶夫,伊戈尔五世。;瓦莱里·索科洛夫。
相关软件:
主要字段: 计算机科学(68-XX)

H2Opus公司

3份文件引用(2022–2023)
软件作者: 扎皮尼、斯特凡诺;瓦吉布卡拉姆;George Turkiyyah;奥马尔·克尼奥;戴维·凯斯
相关软件: hlib;exafmm;pvfmm…
主要字段: 偏微分方程(35-XX);数值分析(65-XX)

CCJ公司

2份文件引用(2003–2005)
软件作者: 阿诺德·内利斯;杰森·马森(Jason Maassen);蒂尔曼;亨利·E·巴尔。
相关软件: UMFPACK;特点;Pliris…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

CRAFT(手工艺)

2份文件引用(2019–2021)
软件作者: 费萨尔·沙赫扎德、乔纳斯·蒂斯、莫里茨·克鲁泽、托马斯·泽塞、乔治·黑格、格哈德·韦林
相关软件: FEAP;FE2TI;MUMPS…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX)

dcd公司

2份文件引用(2022–2023)
软件作者: 吴世浩;李哲;朱雪宁
相关软件: 蟒蛇
主要字段: 统计学(62-XX)

OTST公司

2份文件引用(2005–2007)
软件作者: 刘福来;王金宽;余、葛
相关软件:
主要字段: 信息与通信理论,电路(94-XX)

PSAMS系统

1份文件引用(2002)
软件作者: 黄孙仁;理查德·赖
相关软件:
主要字段: 计算机科学(68-XX)

XCAT-C公司++

2份文件引用(2011–2014)
软件作者: M.Govindaraju,M.R.Head,K.Chiu
相关软件: 尤因塔;OpenFOAM;CVODE…
主要字段: 数值分析(65-XX);流体力学(76-XX)

多米

1份文件引用(2019)
软件作者: 张克佳;韩启龙;蔡志鹏;尹桂生;林俊宇
相关软件:
主要字段: 计算机科学(68-XX)

富恩苏尔

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

GADIA公司

1份文件引用(2010年)
软件作者: 巴巴迪、贝塔什;瓦希德塔鲁克
相关软件:
主要字段: 运筹学、数学规划(90-XX)

Highdicom公司

在0个文档中引用
软件作者: 克里斯托弗·布里奇(Christopher P.Bridge)、克里斯·戈尔曼(Chris Gorman)、史蒂文·皮埃尔(Steven Pieper)、肖恩·多伊尔(Sean W.Doyle)、约琴·K·伦内兹(Jochen K.Lennerz)、贾亚什雷·卡尔帕西·克莱默(Jayashre Kalpathy-Cramer)、
相关软件: CUDA;cuDNN;dicom3工具…
主要字段:

MSCPDL公司

1份文件引用(1998)
软件作者: 米克尔·克里斯蒂安森
相关软件:
主要字段: 计算机科学(68-XX)

外包服务提供商2

1份文件引用(2007)
软件作者: 迈克尔·基弗;斯科特·斯莫尔卡。
相关软件:
主要字段: 计算机科学(68-XX)

Pymagicc公司

在0个文档中引用
软件作者: 罗伯特·吉塞克(Robert Gieseke);Sven N Willner;马蒂亚斯·门格尔
相关软件: f90毫摩尔;IPython;朱庇特…
主要字段:

QuCC公司

1份文件引用(2019)
软件作者: Z.A.Zukarnain。;布哈里,A。;新泽西州哈伦。;R.哈立德。
相关软件:
主要字段: 计算机科学(68-XX);量子理论(81-XX)

拉斯特

1份文件引用(2022)
软件作者: Das,Ankush;弗兰克·芬宁
相关软件:
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

索引总和

1份文件引用(2003)
软件作者: 孙晓明
相关软件:
主要字段: 计算机科学(68-XX)

DTRON公司

在0个文档中引用
软件作者: 艾沃·阿尼尔;尤里·瓦恩;利奥尼达斯·齐奥普洛斯
相关软件:
主要字段:

矮人代码

在0个文档中引用
软件作者: 张伟哲;Albert M.K.Cheng。;贾斯帕尔·苏巴洛克
相关软件:
主要字段:

本地演讲者

在0个文档中引用
软件作者: 王青;李娟如;张元元;王慧;胡一坤;李伯东;顾、大武
相关软件:
主要字段:

NMLab公司

在0个文档中引用
软件作者: Oliver Heimlich、Rudolf Sailer、Lukasz Budzisz
相关软件:
主要字段:

筛选结果依据…