×

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

控制系统工具箱

引用于166份文件(1995–2024)
软件作者: MathWorks公司;格雷斯,A。;Laub,A.J。;Little,J.N。;汤普森,C.M。
相关软件: Matlab;LMI工具箱;鲁棒控制工具箱…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);变分法与最优控制;优化(49-XX)…

SMAC公司

110篇文献引用(2010–2023)
软件作者: 弗兰克·赫特(Frank Hutter)、霍尔格·胡斯(Holger Hoos)、凯文·莱顿·布朗(Kevin Leyton-Brown)、凯文·墨菲(Ke文·墨菲)、史蒂夫·拉马奇(Steve Ramage)
相关软件: 帕拉米尔斯;青蒿;irace…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

铲刀

60篇文献引用(2001–2023)
软件作者: 穆罕默德·扎基。
相关软件: 前缀跨度;BIDE;CloSpan…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

TREX公司

39篇文献引用(2001–2021)
软件作者: Aurore Annichini;艾哈迈德·博阿贾尼;米哈埃拉·西希雷亚努
相关软件: 快速;高科技;LASH…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

MinRes公司

44篇文献引用(2012–2023)
软件作者: 迈克尔·科姆鲍尔
相关软件: FEniCS;IFISS;AGMG…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

P3DFFT公司

36篇文献引用(2010–2023)
软件作者: 德米特里·佩库洛夫斯基
相关软件: FFTW;PFFT;2DECOMP…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

违约

32篇文献引用(2011–2022)
软件作者: 亚历山大·唐泽
相关软件: S-TaLiRo;流量*;SpaceEx…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

脱咖啡因咖啡

31份文件引用(2014–2022)
软件作者: J.Donahue、Y.Jia、O.Vinyals、J.Hoffman、N.Zhang、E.Tzeng、T.Darrell
相关软件: ImageNet;AlexNet;咖啡…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

bv套件

28篇文献引用(2008–2022)
软件作者: G.Kitzhofer、O.Koch、G.Pulver、Ch.Simon、E.B.Weinmüller
相关软件: Matlab;雪崩;bvp4c…
主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

FunArray(趣味阵列)

18篇文献引用(2011–2021)
软件作者: 帕特里克·库索特(Patrick Cousot);拉迪亚·库索特;弗朗西斯科·洛戈佐
相关软件: ASTREE公司;z3;助推器…
主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)

ISTA网络

17篇文献引用(2020–2024)
软件作者: 张健,伯纳德·加尼姆
相关软件: 亚当;DnCNN;PyTorch…
主要字段: 算子理论(47-XX);数值分析(65-XX);计算机科学(68-XX)…

CST微波工作室

14篇文献引用(2002–2022)
软件作者: CST计算机仿真技术股份公司
相关软件: CST工作室套房;WavES;Matlab…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

BliStrTune

14篇文献引用(2017–2023)
软件作者: Josef Urban的Jan Jakubuv
相关软件: E定理证明器;VAMPIRE公司;BliStr…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);几何(51-XX)…

简历

9份文件引用(1997–2023)
软件作者: 尤瓦尔·沙哈尔;马克·穆森
相关软件: 蛋白质;前缀跨度;铲…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

西班牙石油公司

14篇文献引用(2011–2023)
软件作者: Daniel A.Hemberger。;Mark A.Scheel。;劳伦斯·基德(Lawrence E.Kidder)。;贝拉·斯齐拉吉;杰弗里·洛夫莱斯;尼古拉斯·泰勒(Nicholas W.Taylor)。;索尔·托科尔斯基(Saul A.Teukolsky)。
相关软件: SpECTRE公司;Matplotlib;回声…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

工厂

11份文件引用(2011–2020)
软件作者: 安德鲁·麦卡伦、卡尔·舒尔茨、萨米尔·辛格
相关软件: 教会;IBAL;ProbLog…
主要字段: 统计学(62-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

NN-有效

12份文件引用(2022–2024)
软件作者: 塔克尔卡兰,普拉卡什;阿克谢·乔希(Akshay Joshi);郑毅文;莫里茨·弗拉舍尔;劳拉·德·洛伦齐斯(Laura De Lorenzis);悉达恩·库马尔
相关软件: CANN;亚当;火炬差异…
主要字段: 偏微分方程(35-XX);计算机科学(68-XX);变形固体力学(74-XX)…

EikoNet公司

10篇文献引用(2021–2024)
软件作者: Jonathan D.Smith、Kamyar Azizzadenesheli、Zachary E.Ross
相关软件: 亚当;DeepONet;粉红色…
主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

莱蒂斯·克里格

7份文件引用(2015–2023)
软件作者: 道格拉斯·尼奇卡(Douglas Nychka)、多里特·哈默林(Dorit Hammerling)、斯蒂芬·赛恩(Stephan Sain)、内森·伦森(Nathan Lenssen)
相关软件: FRK公司;spBayes;INLA…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);地球物理学(86-XX)

国际奥委会

8份文件引用(2001–2017)
软件作者: 沃杜利斯、克里斯托斯;拉斐尔·多恩;大卫·莱辛(David Lesaint);安妮·利雷特
相关软件: 本地化人员;EasyLocal++;COMET…
主要字段: 一般性和全局性主题;藏品(00-XX);组合数学(05-XX);计算机科学(68-XX)…

战略武器限制公约

6篇文献引用(1989–2010)
软件作者: 桑德拉·马库斯;约翰·麦克德莫特
相关软件: 鼹鼠;蛋白质;WordNet…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

通信统计局

7份文件引用(2011–2021)
软件作者: 海登,A。;尼尔森,A.T。;Hentzer,M。;斯特恩伯格,C。;Givskov,M。;Ersboll,B.K。;莫林,S。
相关软件: Krylstat;贝叶斯DA;GMRFLib…
主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);统计学(62-XX)…

BioMagResBank公司

5份文件引用(2003–2022)
软件作者: Ulrich,E.L。;等。
相关软件: ARIAweb;CYANA;古罗比…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…

快速PM

6篇文献引用(2017–2022)
软件作者: Yu Feng、Man Yat Chu、Uros Seljak、Patrick McDonald
相关软件: GADGET公司;nbodykit;COLA…
主要字段: 偏微分方程(35-XX);算子理论(47-XX);统计学(62-XX)…

JiffyTune公司

5份文件引用(1999–2014)
软件作者: Conn AR、Coulman PK、Haring RA、Morrill GL、Visweswariah C、Wu CW
相关软件: 兰斯洛特;TILOS;Ipopt…
主要字段: 数值分析(65-XX);计算机科学(68-XX);光学、电磁理论(78-XX)…

ProClust公司

4份文件引用(2007–2020)
软件作者: Pipenbacher P.、Schliep A.、Schneckener S.、Schonhuth A.、Schomburg D.、Schrader R。
相关软件: 爆破;PSI-爆炸;通用…
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)…

BOXMG公司

5份文件引用(1992年至2009年)
软件作者: 维克托·班迪;斯威特,罗兰;乔尔·丹迪
相关软件: MM5;斯拉特克
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

CompLearn(计算机学习)

4份文件引用(2008–2020)
软件作者: R.Cilibrasi先生
相关软件: UMLDiff;获胜;ArgoUML…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)…

FDEM工具

5份文件引用(2020–2023)
软件作者: 迪达,G.P。;迪亚斯·德·阿尔巴,P。;费努,C。;洛维库,G。;罗德里格斯,G。
相关软件: 科斯雷格;mngn;角.m…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);光学、电磁理论(78-XX)…

p3增量

5份文件引用(2021–2023)
软件作者: 布萨达,伊斯兰;吉勒梅尔·马赞蒂;尼古列斯库,西尔维乌·尤利安;朱利安·休恩;Sim,Franck;托马斯·马蒂厄
相关软件: DLMF;粘合剂2.0;蟒蛇
主要字段: 特殊功能(33-XX);常微分方程(34-XX);系统论;控制(93-XX)

Kubios HRV公司

2份文件引用(2016年至2017年)
软件作者: Tarvainen议员、Niskanen JP、Lipponen JA、Ranta-Aho PO、Karjalainen PA
相关软件: 物理溶解;gHRV;cvxEDA…
主要字段: 生物学和其他自然科学(92-XX)

尼姆罗德/O

3份文件引用(2000–2008)
软件作者: 大卫·艾布拉姆森;安德鲁·刘易斯;嘿,汤姆
相关软件: MHGrid;近地天体;Globus工具包…
主要字段: 计算机科学(68-XX)

RBC回拨

4份文件引用(2016–2021)
软件作者: 约翰·拉格隆(John LaGrone);托马斯·哈格斯特罗姆
相关软件: 获取DP;Gms小时
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

TinyBERT公司

2份文件引用(2022–2023)
软件作者: 焦晓琦、尹宜春、尚立峰、新疆、小陈、李林林、王芳、刘群
相关软件: BERT;Tensor2传感器;RoBERTa…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

Atune-IL公司

1份文件引用(2019)
软件作者: C.A.Schaefer、V.Pankratius、W.F.Tichy
相关软件: FFTW;精密路径指示器;多维数据集资源管理器…
主要字段: 计算机科学(68-XX)

MARE2DEM公司

3份文件引用(2020–2023)
软件作者: 键,K。
相关软件: 三角形;SimPEG公司;emg3d…
主要字段: 数值分析(65-XX);计算机科学(68-XX);光学、电磁理论(78-XX)…

吗啡

3份文件引用(2019–2022)
软件作者: 蒙达尔、兰詹;Purkait、Pulak;桑特拉,三岔岩;巴巴托什·钱达
相关软件: U-Net;更快的R-CNN;GitHub…
主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)

挂起_丢弃

2份文件引用(2021–2022)
软件作者: 达尔,A。;A.蒙尼。
相关软件: DROPFIT公司;斐济;图像J
主要字段: 流体力学(76-XX)

QuDiff公司

3份文件引用(2016–2021)
软件作者: Baydin,D.F。;E.N.亚里士多瓦。
相关软件: ——
主要字段: 积分方程(45-XX);数值分析(65-XX);流体力学(76-XX)…

西姆西伦

3份文件引用(2018–2020)
软件作者: Krzysztof Bolejko
相关软件: SageManifolds公司
主要字段: 微分几何(53-XX);全局分析,流形分析(58-XX);流体力学(76-XX)…

SPC-PM公司

3份文件引用(2018–2019)
软件作者: 梅耶,A。;等。
相关软件: ——
主要字段: 可变形固体力学(74-XX);生物学和其他自然科学(92-XX);信息与通信理论,电路(94-XX)

裁缝

在0个文档中引用
软件作者: Elfeky MG,Verykios VS,Elmagarmid AK公司
相关软件: 开放式基金
主要字段: ——

阿达斯

2份文件引用(2022–2023)
软件作者: 法比奥·森托凡蒂;安东尼奥·勒波雷(Antonio Lepore);亚历山德拉·梅纳福格里奥(Alessandra Menafoglio);比亚焦帕伦博;西蒙·万提尼
相关软件: 斯拉索;ElemStatLearn;fda(R)…
主要字段: 统计学(62-XX)

生物模拟

1份文件引用(1995)
软件作者: 斯特凡·伯格多尔;Uwe T.科赫。
相关软件: ——
主要字段: 生物学和其他自然科学(92-XX)

沙漠FD

在0个文档中引用
软件作者: Eames,Brandon K。;妮玛(Neema)、桑迪普·K·。;罗希特·萨拉斯瓦特
相关软件: 禁忌搜索;SICStus公司;FaMa…
主要字段: 计算机科学(68-XX)

异质交叉扩散模拟

2份文件引用(2023–2024)
软件作者: 埃蒙·A·加夫尼。;安德鲁·克劳斯(Andrew L.Krause)。;菲利普·梅尼(Philip K.Maini)。;王、陈元
相关软件: NeuralPDE.jl;Makie.jl;微分方程.jl…
主要字段: 偏微分方程(35-XX);生物学和其他自然科学(92-XX)

卡迪亚

1份文件引用(2015)
软件作者: Perakakis P、Joffly M、Taylor M、Guerra P、Vila J。
相关软件: PhysioToolkit;艺术品;RHRV…
主要字段: 统计学(62-XX)

洛拉

在0个文档中引用
软件作者: Edward J.Hu、Yelong Shen、Phillip Wallis、Zeyuan Allen Zhu、Yuanzhi Li、Shean Wang、Lu Wang、Weizhu Chen
相关软件: 变压器;BERT;RoBERTa…
主要字段: ——

马蒂尔达

2份文件引用(2006–2007)
软件作者: Boneh,T。;A.E.尼科尔森。;Sonenberg,E.A.公司。
相关软件: ——
主要字段: 实函数(26-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

Metalibm公司

2份文件引用(2014)
软件作者: 奥尔加库普里亚诺娃;克里斯托夫·劳特
相关软件: 索利娅;加帕;SgpDec…
主要字段: 一般性和全局性主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)

NeuroGaz公司

在0个文档中引用
软件作者: 马克·勒戈克(Marc Le Goc);米歇尔·盖塔
相关软件: 通用KADS
主要字段: ——

NFFT.jl公司

2份文件引用(2018–2023)
软件作者: 托比亚斯·克诺普
相关软件: 朱莉娅;NFFT;FFTW…
主要字段: 近似和展开(41-XX);数值分析(65-XX);计算机科学(68-XX)

泛网(PanNet)

2份文件引用(2021–2023)
软件作者: 杨振峰、傅晓云、胡永伟、黄永华、丁晓晖、佩斯利
相关软件: 代码_ ncFSRM;IDeR
主要字段: 欧氏空间(42-XX)的调和分析;数值分析(65-XX);计算机科学(68-XX)…

Poly6公司

2份文件引用(2022–2023)
软件作者: 斯特凡·苏尔(Stefan C.Soare)。
相关软件: github;SHYqp;达马斯克
主要字段: 可变形固体力学(74-XX)

孔隙度分析仪

1份文件引用(2022)
软件作者: 韦森伯克,J。;Amirkhanov,A。;Gröller,E。;Kastner,J。;海因茨,C。
相关软件: MetaTracts;GEMSe;FeatureCout…
主要字段: 可变形固体力学(74-XX);信息与通信理论,电路(94-XX)

SOFI3D软件

2份文件引用(2021–2024)
软件作者: Bohlen,T。;De Nil,D。;Koehn,D。;Jetschny,S。
相关软件: SMIwiz;libEMM;L-BFGS…
主要字段: 数值分析(65-XX);计算机科学(68-XX);地球物理学(86-XX)

VARD公司

2份文件引用(2015–2020)
软件作者: 严·卡加诺夫斯基
相关软件: PRMLT;spBayes;Matlab公司
主要字段: 算子理论(47-XX);数值分析(65-XX);计算机科学(68-XX)…

VS2DI公司

2份文件引用(2010–2019)
软件作者: 谢家华、温格尔、威廉、希利、R.W。
相关软件: 海德鲁;Matlab公司
主要字段: 数值分析(65-XX);流体力学(76-XX)

AD-TIC公司

1份文件引用(2016)
软件作者: Lukashchuk,S.Yu。
相关软件: 枫树
主要字段: 偏微分方程(35-XX);积分变换,运算微积分(44-XX);数值分析(65-XX)

ADmoND公司

1份文件引用(2019)
软件作者: O·雅克西奇。
相关软件: Matlab公司
主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);经典热力学,传热(80-XX)

自动变速箱油

1份文件引用(2019)
软件作者: A.Rasch、M.Haidl、S.Gorlatch
相关软件: 精密路径指示器;多维数据集浏览器;兄弟竞争…
主要字段: 计算机科学(68-XX)

自动STG

1份文件引用(2023)
软件作者: 柯松瑜;潘哲毅;何天福;梁宇轩;张俊波;郑宇
相关软件: AlexNet;飞镖;ImageNet…
主要字段: 计算机科学(68-XX)

偏差tooblox

1份文件引用(2022)
软件作者: Vermetten,D.、van Stein,B.、Caraffini,F.、Minku,L.、Kononova,A.V。
相关软件: github;COCO公司
主要字段: 运筹学、数学规划(90-XX)

BMT公司

在0个文档中引用
软件作者: 卡米洛·何塞·托雷斯-希梅内兹、阿尔瓦罗·毛里西奥·黑山·迪亚兹
相关软件: 使用R;领域;分区…
主要字段: ——

中国

1份文件引用(2021)
软件作者: 锡林克斯
相关软件: AutoSA;PYNQ;PyRTL…
主要字段: 计算机科学(68-XX)

查特瓦尔

在0个文档中引用
软件作者: Joáo Sedoc、Daphne Ippolito、Arun Kirubarajan、Jai Thirani、Lyle Ungar、Chris Callison-Burch
相关软件: PostgreSQL;DialCrow;测试Vox…
主要字段: ——

宗派

1份文件引用(2019)
软件作者: Andersson C、Lennart N
相关软件: CALMAR2;巴斯库拉;伊卡洛斯…
主要字段: 历史与传记(01-XX);统计学(62-XX)

连续有限元法

1份文件引用(2021)
软件作者: 达库尼亚,法比奥·阿尔法亚;卡洛斯·阿尔贝托·古格尔(Carlos Alberto Gurgel Veras)
相关软件: 层压反应泡沫;Matlab公司
主要字段: 经典热力学,传热(80-XX)

DE正交

1份文件引用(2015)
软件作者: R.M.斯莱文斯基
相关软件: SC工具箱;朱莉娅;中性…
主要字段: 复变量函数(30-XX);数值分析(65-XX)

特征工具

在0个文档中引用
软件作者: 杰里·奥西(Jerey S.Oishi)、基顿·J·伯恩斯(Keaton J.Burns)、S.E.Clark、埃文·安德斯(Evan H.Anders)、本杰明·布朗(Benjamin P.Brown)、杰弗里·瓦西尔(Geoffrey M.Vasil)、丹尼尔
相关软件: 伪光谱.jl;Eigtool;Chebfun…
主要字段: ——

GEMSe公司

在0个文档中引用
软件作者: Bernhard Fröhler、Torsten Möller、Christoph Heinzl
相关软件: FeatureCout;孔隙度分析仪;MetaTracts…
主要字段: ——

GenEO公司

1份文件引用(2020)
软件作者: 尼科尔·斯皮兰(CMAP)
相关软件: 沙丘复合物;ARPACK;ABAQUS…
主要字段: 可变形固体力学(74-XX);流体力学(76-XX)

iCorrVision-2D

在0个文档中引用
软件作者: 乔·卡洛斯·安德拉德·德·德乌斯·菲利奥(Joáo Carlos Andrade de Deus Filho);路易斯·卡洛斯·达席尔瓦·努斯(Luiz Carlos da Silva Nunes);何塞·曼努埃尔·卡多索·泽维尔
相关软件: 应变仪;DICe;更正(&C)…
主要字段: ——

日本JAX-DIPS

1份文件引用(2023)
软件作者: 米斯塔尼,波里亚A。;帕克拉万,萨米拉;拉杰什·伊兰戈;弗雷德里克·吉布
相关软件: JAXopt;DGM;DeepONet;…(D)…
主要字段: 偏微分方程(35-XX);数值分析(65-XX)

记忆法

1份文件引用(2010)
软件作者: 约翰·鲁道夫(Johannes Rudolph);彼得·蒂曼
相关软件: BCEL;TALx86;ASM…
主要字段: 计算机科学(68-XX)

MMSRm在线贝叶斯学习

1份文件引用(2022)
软件作者: 葛树飞;王世嘉;Farouk S.的Nathoo公司。;王良良
相关软件: ——
主要字段: 统计学(62-XX)

PICN公司

1份文件引用(2024)
软件作者: 史鹏鹏;曾志;梁天寿
相关软件: PhyGeoNet;PhyCRNet;转换PDE-UQ
主要字段: 偏微分方程(35-XX);近似和展开(41-XX);概率论与随机过程(60-XX)…

多孔充气泡沫

1份文件引用(2022)
软件作者: Żuk,PawełJan;Tużnik,Bartosz;塔德乌兹·雷马兹;卡米尔·奎亚特科夫斯基;马雷克·杜登斯基;加莱亚佐,弗拉维奥C.C。;Krieger Filho,Guenther C。
相关软件: FireFOAM;开放式泡沫
主要字段: 流体力学(76-XX);经典热力学,传热(80-XX)

姿势2网格

在0个文档中引用
软件作者: Choi Hongsuk、Gyeongsik Moon、Kyoung Mu Lee
相关软件: MonoCap;BodyNet;PIFuHD…
主要字段: ——

PPBLAB公司

1份文件引用(2015)
软件作者: Attarakih,M。;Al-Zyod,S。;阿布·卡德尔,M。;H.-J.巴特。
相关软件: LLECMOD公司;FLUENT公司
主要字段: 流体力学(76-XX)

PRINSYS公司

1份文件引用(2019)
软件作者: Gretz,F.、Katoen,J.-P.、McIver,A。
相关软件: CEGAR;Aligator.jl;风暴…
主要字段: 计算机科学(68-XX)

ProdSumNet产品

在0个文档中引用
软件作者: 柴华武
相关软件: MNIST公司
主要字段: ——

pyHRV型

在0个文档中引用
软件作者: 戈麦斯(P.Gomes)、马加里托(P.Margarito)、席尔瓦(H.Silva)。
相关软件: RHRV;数字Py;科学…
主要字段: ——

领域

1份文件引用(2022)
软件作者: Kelvin Guu、Kenton Lee、Zora Tung、Panupong Pasupat、Ming Wei Chang
相关软件: GPT-3;Tensor2传感器;BERTScore…
主要字段: 计算机科学(68-XX)

斯莱卡特

1份文件引用(2015)
软件作者: 帕特里夏·J·克罗斯诺。;蒂莫西·谢德(Timothy M.Shead)。;Sieliki,Milosz A。;沃伦·亨特(Warren L.Hunt)。;马丁,肖恩;谢明宇
相关软件: github;ParaView视图
主要字段: 统计学(62-XX);光学、电磁理论(78-XX);系统论;控制(93-XX)

SP流量

1份文件引用(2020)
软件作者: Alejandro Molina、Antonio Vergari、Karl Stelzner、Robert Peharz、Pranav Subramani、Nicola Di Mauro、Pascal Poupart、Kristian Kersting
相关软件: 炼金术;DIMACS;Walksat…
主要字段: 计算机科学(68-XX)

ST-Lib型

1份文件引用(2019)
软件作者: J.Kapinski、X.Jin、J.Deshmukh、A.Donzé、T.Yamaguchi、H.Ito、T.Kaga、S.Kobuna、S.A.Seshia
相关软件: S-TaLiRo公司
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

SymPKF公司

在0个文档中引用
软件作者: 奥利维尔·潘尼科克(Olivier Pannekoucke)、菲利普·阿博加斯特(Philippe Arbogast)
相关软件: PDE-NetGen;SymPy公司;蟒蛇
主要字段: ——

TARQUIN公司

在0个文档中引用
软件作者: Reynolds,G.、Wilson,M.、Peet,A.、Arvanitis,T.N。
相关软件: MRUI;FSL-MRS;甘尼特…
主要字段: ——

Veritex公司

1份文件引用(2022)
软件作者: 杨晓东;汤姆·山口;Tran,Hoang-Dung;巴德省霍克萨;泰勒·T·约翰逊。;丹尼尔·普罗霍罗夫
相关软件: 马拉博;NNV;重新连接…
主要字段: 计算机科学(68-XX)

VTU文件处理程序

在0个文档中引用
软件作者: 马西米兰比特
相关软件: 视差;ReadVTK;Writevtk.jl…
主要字段: ——

WF4Py型

1份文件引用(2023)
软件作者: 弗朗西斯科·亚科维利
相关软件: GWFAST公司
主要字段: 相对论和引力理论(83-XX)

蓝色PyOpt

在0个文档中引用
软件作者: 沃纳·范盖特(Werner Van Geit)、迈克尔·格瓦特(Michael Gevaert)、朱塞佩·钦德米(Giuseppe Chindemi)、克里斯蒂安·罗塞特(Christian Rössert)、珍妮斯·库科尔(Jean-Denis Courcol)、埃利夫·穆勒(Eilif Muller)、费利克斯·舒尔曼(Felix Sch
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件