×

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

霍利·哈默

31份文件引用(2014年至2022年)
软件作者: 塞萨里·卡利西克;约瑟夫·厄本
相关软件: HOL灯;VAMPIRE公司;E定理证明器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);光学、电磁理论(78-XX)

FEMPAR公司

21篇文献引用(2016–2023)
软件作者: 圣地亚哥·巴迪亚、阿尔贝托·马汀、哈维尔·普林西比
相关软件: PETSc;CutFEM;测试…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

BoolNet公司

20篇文献引用(2012–2023)
软件作者: 克里斯托夫·穆塞尔(Christoph Müssel)、马丁·霍普芬西茨(Martin Hopfensitz)、道周(Dao Zhou)、汉斯·凯斯特勒(Hans Kestler)
相关软件: 金西姆;R;麦考利2…
主要字段: 常微分方程(34-XX);统计学(62-XX);运筹学,数学规划(90-XX)…

大Vis

9份文件引用(2018–2023)
软件作者: 唐健、刘景洲、张明、梅巧竹
相关软件: UMAP;大Vis;t-SNE…
主要字段: 统计学(62-XX);计算机科学(68-XX)

毒液

10篇文献引用(2018–2023)
软件作者: David Eriksson、David Bindel、Christine Shoemaker
相关软件: MLMSRBF;EGO;野马…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

级联

引用于8份文件(2000–2008)
软件作者: Jochen Beister、Gernot Eckstein、Ralf Wollowski
相关软件: 级联
主要字段: 数值分析(65-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…

杰克

6篇文献引用(2017–2022)
软件作者: 马古利斯,F。;Gbikpi Benissan,G。
相关软件: Alinea;Gmsh;Getfem++…
主要字段: 偏微分方程(35-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…

tK目标

6篇文献引用(2005–2008)
软件作者: 德尼古拉(De Nicola)、罗科(Rocco);丹尼尔·戈拉(Daniele Gorla);罗萨里奥·普格利泽
相关软件: 科莱姆;琳达;克拉瓦…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

AFACx公司

6篇文献引用(2003–2022)
软件作者: 巴里·李;斯蒂芬·麦考密克(Stephen F.McCormick)。;菲利普·鲍比;丹尼尔·昆兰。
相关软件: PETSc;炒作;梅露…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)

GRINS公司

3份文件引用(2018–2021)
软件作者: 保罗·鲍曼(Paul T.Bauman)、罗伊·斯托格纳(Roy H.Stogner)
相关软件: PETSc;交易.ii;libMesh…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

快速输入

4份文件引用(2010–2016)
软件作者: 阿里尔·杰莫维奇;奥费尔·梅西(Ofer Meshi);伊恩·麦格劳(Ian Mcgraw);盖尔·埃利丹
相关软件: 利比亚国防情报局;炼金术;PMTK…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)

亚太地区

3份文件引用(2022–2023)
软件作者: 徐阳阳;徐一波;颜永贵;科林·萨切尔·谢泼德(Colin Sutcher-Shepard);利奥波德·格林伯格;陈杰
相关软件: 十字花科植物;LIBSVM;HOGWILD…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

DUNE-FEM-DG系列

3份文件引用(2019–2022)
软件作者: 安德烈亚斯·德纳;斯特凡·吉尔克;罗伯特·克罗夫科恩(Robert Klöfkorn);托比亚斯·马尔库姆斯
相关软件: 沙丘-雌性;蟒蛇;DUNE-FEM…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)

新GOA

引用于2份文件(2020–2022)
软件作者: Yu,G。;Fu,G。;Wang,J。;赵,Y。
相关软件: 反应组;Tensor2传感器;协同因子…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

POOSL公司

3份文件引用(2003–2022)
软件作者: Theelen,B.D。;Voeten,J.P.M。;R.D.J.克莱默。
相关软件: 蟒蛇;TypeScript;酯类…
主要字段: 计算机科学(68-XX)

定时丽贝卡

3份文件引用(2016–2020)
软件作者: Khamespanah,E.,Sirjani,M.,Sabahi-Kaviani,Z.,Khosravi,R.,Izadi,M。
相关软件: 丽贝卡;Uppaal;旋转…
主要字段: 计算机科学(68-XX)

生物质量管理

1份文件引用(2022)
软件作者: A.纳尔迪。
相关软件: BoolNet;品脱;PyBoolNet…
主要字段: 阶、格、有序代数结构(06-XX);生物学和其他自然科学(92-XX)

惯性-SsGM

引用于2份文件(2022–2023)
软件作者: 徐阳阳、徐一波、颜永贵、陈杰
相关软件: iPiano;FPC_AS;APAM…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

symPACK(符号包)

1份文件引用(2018)
软件作者: Mathias Jacquelin、Yili Zheng、Esmond Ng、Katherine Yelick
相关软件: ScaLAPACK;FLEUR;高斯…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX)

xREI公司

1份文件引用(2020)
软件作者: 伊恩·霍姆斯(Ian Holmes),拉尔斯·巴奎斯特(Lars Barquist)
相关软件: TTA Lynx;大坝7;CodonW…
主要字段: 生物学和其他自然科学(92-XX)

aPET公司

1份文件引用(2015)
软件作者: E.阿尔伯特、P.阿里纳斯、M.戈梅兹·扎马洛亚、P.Y.H.王。
相关软件:
主要字段: 计算机科学(68-XX)

EventHands活动指南

在0个文档中引用
软件作者: Rudnev,V.,Golyanik,V..,Wang,J.,Seidel,H.P.,Mueller,F.,Elgharib,M.,Theobalt,C。
相关软件: 蟒蛇;Mask2手柄;JGR-P2O…
主要字段:

GADIA公司

1份文件引用(2010)
软件作者: 巴巴迪、贝塔什;瓦希德·塔洛赫
相关软件:
主要字段: 运筹学,数学编程(90-XX)

jSRML工具

1份文件引用(2014)
软件作者: 凯尔曼,米克洛斯
相关软件: jQuery(jQuery)
主要字段: 计算机科学(68-XX)

1份文件引用(2002)
软件作者: 杰、伟;蔡文通;史蒂芬·特纳。
相关软件: BSP接口
主要字段: 计算机科学(68-XX)

PushNet(推送网络)

1份文件引用(2023)
软件作者: 朱利安·布什、嘉兴皮、托马斯·塞德尔
相关软件: 集群-GCN;标志;快速GCN…
主要字段: 计算机科学(68-XX)

RB-CCR公司

1份文件引用(2021)
软件作者: Micha Koziarski;科林·贝林格(Colin Bellinger);Woźniak,Michał
相关软件: 阿达欣;打击;MWMOTE…
主要字段: 计算机科学(68-XX)

sce标准

1份文件引用(2023)
软件作者: 杨志荣;陈宇伟;Denis Sedov;塞缪尔·卡斯基(Samuel Kaski);朱卡·科兰德
相关软件: ELFI;大Vis;largeVis…
主要字段: 统计学(62-XX)

SVR-AMA公司

1份文件引用(2019)
软件作者: 劳拉·费兰蒂;Pu,Ye;科林·琼斯。;塔马斯·凯维茨基
相关软件: MPT公司
主要字段: 运筹学、数学规划(90-XX);系统论;控制(93-XX)

筛选结果依据…

全部的 前5名

相关软件