×

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

GELDA公司

33篇文献引用(1996-2018)
软件作者: 彼得·昆克尔(Peter Kunkel)、沃尔克·梅尔曼(Volker Mehrmann)、沃纳·拉思(Werner Rath)和约格·威克特(Jörg Weickert)
相关软件: GENDA公司;罗德斯;Modelica…
主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

网元

13份文件引用(2011–2023)
软件作者: Gerta Rücker、Guido Schwarzer、Ulrike Krahn、Jochem König
相关软件: R;gemtc;metafor…
主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)

GENDA公司

15篇文献引用(2004–2019)
软件作者: Peter Kunkel、Volker Mehrmann、Ingo Seufer
相关软件: GELDA;Matlab;NewtonLib…
主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

HOL零

12份文件引用(2014–2023)
软件作者: 马克·亚当斯
相关软件: Isabelle/HOL;HOL灯;HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);凸和离散几何(52-XX)…

结束语

12份文件引用(1993–2016)
软件作者: Waldemar W.Koczkodaj公司
相关软件:
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

IRIS公司

10篇文献引用(2008–2019)
软件作者: 路易斯·迪亚斯;文森特·穆索;卡洛斯·戈梅斯·席尔瓦
相关软件: 电气;视觉UTA;UTA Plus…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)…

阿拉伯

6篇文献引用(2007–2019)
软件作者: Batzoglou S、Jaffe DB、Stanley K、Butler J、Gnerre S、Mauceli E、Berger B、Mesirov JP、Lander ES
相关软件: 天鹅绒;深渊;BLAT…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

ALLUVSIM公司

8份文件引用(2013–2023)
软件作者: Pyrcz MJ、Boisvert J、Deutsch CV
相关软件: FLUVSIM公司;宝石;QuadCover…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

FRegSigComp公司

6篇文献引用(2018–2024)
软件作者: 齐、辛;罗瑞燕
相关软件: fda(R);pffr;斯拉索…
主要字段: 统计学(62-XX)

甘西姆

6篇文献引用(2021–2023)
软件作者: 宋遂宏;Mukerji,塔潘;侯佳根
相关软件: Wasserstein GAN;StyleGAN;信根…
主要字段: 统计学(62-XX);计算机科学(68-XX);流体力学(76-XX)…

gemtc公司

1份文件引用(2015)
软件作者: 格特·范·瓦尔肯霍夫(Gert van Valkenhoef)、乔尔·库伊伯(Joel Kuiper)
相关软件: metafor;R;netmeta…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

科梅特

4份文件引用(2002–2005)
软件作者: Calmet,J.,Jekutsch,S.,Kullmann,P.,Schü,J。
相关软件: FRIL;PVS;SPASS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

赫克曼科拉

引用于3份文件(2014–2023)
软件作者: Takuya Hasebe先生
相关软件: Stata公司
主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

基马

引用于3份文件(2002–2010)
软件作者: 上田康弘Ajiro
相关软件: GHC;巴贝尔;ELAN…
主要字段: 计算机科学(68-XX)

PriEsT公司

2份文件引用(2015–2022)
软件作者: 塞吉德·西拉吉;米哈伊洛夫(Ludmil Mikhailov);约翰·A·基恩。
相关软件: 专家选择;HIPRE 3+;DIADEM…
主要字段: 运筹学,数学编程(90-XX)

摇篮

1份文件引用(2023)
软件作者: 洪越范、蒂波·卢泰利尔、魏振琦、林丹
相关软件: DeepXlore;Frama-C;Dafny…
主要字段: 计算机科学(68-XX)

Fca基岩

1份文件引用(2015)
软件作者: 安德鲁斯。;孤儿,C。
相关软件: FCALGS;FCbO;关闭中…
主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)

超流(HyperFlow)

2份文件引用(2018–2020)
软件作者: A.Tootoonchian、Y.Ganjali
相关软件: GitHub;NetKAT;SGS…
主要字段: 计算机科学(68-XX)

国际博协

2份文件引用(2001–2020)
软件作者: 巴勃罗·菲洛特拉尼(Pablo R.Fillottrani);恩里科·弗兰科尼;塞尔吉奥·特萨利斯
相关软件: KL-ONE;传真CT++
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

正常情况下

在0个文档中引用
软件作者: Burak Kuersad Guenhan公司
相关软件: dplyr;贝叶斯元;pcnetmeta…
主要字段:

r2glmm(平方毫米)

2份文件引用(2017–2019)
软件作者: 拜伦·杰格
相关软件: GitHub;R;MuMIn…
主要字段: 统计学(62-XX)

在0个文档中引用
软件作者: Jorge Pinna Puissant;范德斯特雷顿(Van Der Straeten),拉格希尔德(Ragnhild);男人,汤姆
相关软件:
主要字段:

DimSim公司

在0个文档中引用
软件作者: Owre,Sam;因德拉尼尔·萨哈;Natarajan Shankar
相关软件: Simulink公司
主要字段: 计算机科学(68-XX)

NetMetaXL

1份文件引用(2017)
软件作者: 布朗,S。;B.赫顿。;克利福德,T。;科伊尔,D。;格里马,D。;威尔斯,G。;卡梅隆,C。
相关软件: XLStat;SPC图表;R、 …
主要字段: 统计学(62-XX)

网络

在0个文档中引用
软件作者: 白色I
相关软件: R;gemtc;WinBUGS…
主要字段:

次一致性

1份文件引用(2018)
软件作者: 安德斯·施利奇特克鲁尔(Anders Schlichtkrull);约根·维拉德森
相关软件: GitHub;格栅;FOL_Harrison…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PLINI公司

在0个文档中引用
软件作者: 阿尔巴内塞,马西米利亚诺;马蒂亚斯·布罗切勒;格兰特,约翰;Martinez,Maria Vanina;苏布拉曼尼亚,V.S。
相关软件:
主要字段:

POREM公司

1份文件引用(1991)
软件作者: F.van der Ploeg、A.J.Markink
相关软件:
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

ReCoNet公司

在0个文档中引用
软件作者: 常高、顾德润、张方军、于益洲
相关软件: CAiRE新冠肺炎;新冠肺炎疫苗网;CovidGAN…
主要字段:

预处理

在0个文档中引用
软件作者: 马库斯·瓦图莱宁
相关软件:
主要字段:

拓扑_语义

在0个文档中引用
软件作者: 福恩市长,大卫
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段