×

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

吉隆坡机场

43篇文献引用(2010–2023)
软件作者: 克里斯蒂安·卡达尔、丹尼尔·邓巴、道森·恩格尔
相关软件: z3;可爱的;DART…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

自由冲浪者

23篇文献引用(2016–2023)
软件作者: 布鲁斯·费施尔
相关软件: FSL;FEniCS;R、 …
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

AFNI公司

17篇文献引用(2008–2023)
软件作者: 罗伯特·考克斯
相关软件: FSL;R;oro.nifti…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

ROTA公司

18篇文献引用(2000–2022)
软件作者: 多龙·泽尔伯格
相关软件: 梅利斯;美国陆军工程兵团;USAP…
主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);交换代数(13-XX)…

CAV汽车

13份文件引用(2011–2023)
软件作者: 布莱恩·纳卡穆拉
相关软件: GJsqfree;GJSAW;GJ系列…
主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);代数几何(14-XX)…

悉尼商学院

13份文件引用(2014–2021)
软件作者: 李毅;Albarghouthi,Aws;扎卡里·金凯;阿里·古芬克尔(Arie Gurfinkel);玛莎·契契克
相关软件: z3;vZ;OptiMathSAT…
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…

c2i公司

10篇文献引用(2016–2023)
软件作者: 夏尔马,拉胡尔;亚历克斯·艾肯
相关软件: z3;胡迪尼;Eldarica…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

霍尔茨

5份文件引用(2005–2011)
软件作者: David Basin;库鲁马、平野武;Kazuo Takaragi;沃尔夫,伯克哈特
相关软件: Z;HOL;Isabelle/HOL…
主要字段: 计算机科学(68-XX)

RAST公司

4份文件引用(2012–2019)
软件作者: Meyer F、Paarmann D、D’Souza M等人
相关软件: KEGG;梅根;爆炸…
主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

Algolib公司

5份文件引用(2004–2022)
软件作者: INRIA的Algo团队
相关软件: 枫树;OEIS;HOL灯…
主要字段: 阶、格、有序代数结构(06-XX);数论(11-XX);计算机科学(68-XX)

OrthoDB公司

2份文件引用(2013-2017)
软件作者: Kriventseva EV等人
相关软件: OrthoMCL;eggNOG;气体…
主要字段: 总体主题;藏品(00-XX);生物学和其他自然科学(92-XX)

同因果的

4份文件引用(2018–2023)
软件作者: 奥列格·索弗里金;马克·范德拉恩(Mark van der Laan);罗曼·纽格鲍尔
相关软件: R;图表;ltmle…
主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

tptp2X型

引用于3份文件(1998–2006)
软件作者: Geoff Sutcliffe;克里斯蒂安·萨特纳
相关软件: 人力资源;数学网;梅斯4…
主要字段: 数论(11-XX);计算机科学(68-XX)

ANNOVAR公司

引用于3份文件(2014年至2020年)
软件作者: 王凯、李明、哈科纳森H
相关软件: R;模因;KEGG…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)…

长石

2份文件引用(2015–2016)
软件作者: E.Axelsson、K.Claessen、G.Devai、Z.Horvath、K.Keijzer、B.Lyckegard、A.Persson、M.Sheeran、J.Svenningsson、A.Vajda
相关软件: 熔岩;哈斯克尔;旋风…
主要字段: 计算机科学(68-XX)

适应

2份文件引用(2003年-2010年)
软件作者: 阿恩·洛克坦根;罗兰·奥尔森
相关软件: 禁忌搜索;毫升;Walksat…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

AFS.txt格式

2份文件引用(2018–2020)
软件作者: Shalosh B.Ekhad,Doron Zeilberger公司
相关软件: OEIS;枫树
主要字段: 组合数学(05-XX);数论(11-XX)

AlgFunEq公司

1份文件引用(2018)
软件作者: Shalosh B.Ekhad,Doron Zeilberger公司
相关软件: 枫树;切恩;gfun…
主要字段: 组合数学(05-XX)

架构(ArchC)

2份文件引用(2005–2010)
软件作者: 阿泽夫多、鲁道夫;Sandro Rigo;巴托洛缪,马库斯;阿劳霍,圭多;克里斯蒂亚诺·阿劳霍;埃德娜·巴罗斯
相关软件: aiT;MiBench公司;MediaBench…
主要字段: 计算机科学(68-XX)

EEBoost公司

2份文件引用(2011–2023)
软件作者: 朱利安·沃尔夫森
相关软件: ElemStatLearn(电子状态学习)
主要字段: (62F10-XX);(62J07-XX);(62P10-XX)

f更改

2份文件引用(2021–2022)
软件作者: O.Sonmez。;Aue,A。;赖斯,G。
相关软件: 彩虹;fda(R);ftsa…
主要字段: 统计学(62-XX)

Gencel公司

2份文件引用(2006–2020)
软件作者: 马丁·埃尔维格;罗宾·亚伯拉罕;史蒂夫·科尔曼斯伯格(Steve Kollmansberger);库珀斯坦,艾琳
相关软件: 擅长
主要字段: 计算机科学(68-XX)

MEMo公司

2份文件引用(2019–2023)
软件作者: 安妮卡·Röhl;亚历山大·博克迈尔
相关软件: 波尔科;efmtool;KEGG…
主要字段: 凸和离散几何(52-XX);生物学和其他自然科学(92-XX)

PseKRAAC公司

2份文件引用(2019–2021)
软件作者: Zuo,Y.C。;李毅。;Chen,Y.L。;李国平。;严振华。;杨,L。
相关软件: Cd-hit;BioSeq分析;iMRM…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

TRecS公司

2份文件引用(2012)
软件作者: 北卡罗来纳州小林市。
相关软件: TravMC;爆炸;THORS…
主要字段: 计算机科学(68-XX)

Conefor Sensinode公司

1份文件引用(2023)
软件作者: 索拉,S。;托恩,J。
相关软件: 柠檬;古罗比;英特尔TBB
主要字段: 运筹学、数学规划(90-XX)

DSLit(DSLit)

在0个文档中引用
软件作者: 科森蒂诺,瓦莱里奥;马西莫·提西;伊兹基尔多,哈维尔·路易斯·卡诺瓦
相关软件: 糖J;Xtext(扩展文本)
主要字段: 计算机科学(68-XX)

f90包裹

在0个文档中引用
软件作者: 詹姆斯·柯莫德
相关软件: 快速SHT;SHTns;CUBLAS…
主要字段:

菲尼图纳

在0个文档中引用
软件作者: Musielewicz,J.、Wang,X.、Tian,T.、Ulissi,Z。
相关软件: ASE;单一NN;斯科奇…
主要字段:

FUMA公司

在0个文档中引用
软件作者: Watanabe K.、Taskesen E.、van Bochoven A.、Posthuma D
相关软件: UCSC基因组浏览器;基因编码;闪亮…
主要字段:

格拉玛

在0个文档中引用
软件作者: 扎卡里·德尔·罗萨里奥
相关软件: 达科塔;SciPy公司;UQLab…
主要字段:

MASSpy公司

在0个文档中引用
软件作者: 扎卡里·B·海曼;丹尼尔·齐林斯基(Daniel C Zielinski);小池裕子;詹姆斯·特尤科维奇(James T Yurkovich);伯恩哈德·奥帕尔森
相关软件: SBW;LibSBMLSim;RunBioSimulations…
主要字段:

模块主控器

1份文件引用(2017)
软件作者: Wrzodek C、Schroder A、Drager A等人
相关软件: RDP2;PhyloBayes 3;分区查找器…
主要字段: 总体主题;藏品(00-XX);生物学和其他自然科学(92-XX)

西姆瓦尼尔

1份文件引用(2023)
软件作者: 高桥Koretsune
相关软件: WannSymm公司;量子浓缩咖啡;想要90
主要字段: 统计力学,物质结构(82-XX)

TurboR&D.Mesher公司

1份文件引用(2023)
软件作者: 扎吉托夫,R.A。;萨尔尼科夫,S.D。;N.V.舒瓦耶夫。
相关软件:
主要字段: 数值分析(65-XX);流体力学(76-XX)

Wassmap公司

1份文件引用(2023)
软件作者: 基顿·哈姆;Nick Henscheid;康淑杰
相关软件: darch;MNIST;t-SNE…
主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件