吉隆坡机场 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)
架构(ArchC) 2份文件引用(2005–2010) 软件作者: 阿泽夫多、鲁道夫;Sandro Rigo;巴托洛缪,马库斯;阿劳霍,圭多;克里斯蒂亚诺·阿劳霍;埃德娜·巴罗斯 相关软件: aiT;MiBench公司;MediaBench… 主要字段: 计算机科学(68-XX)
EEBoost公司 2份文件引用(2011–2023) 软件作者: 朱利安·沃尔夫森 相关软件: ElemStatLearn(电子状态学习) 主要字段: (62F10-XX);(62J07-XX);(62P10-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)
DSLit(DSLit) 在0个文档中引用 软件作者: 科森蒂诺,瓦莱里奥;马西莫·提西;伊兹基尔多,哈维尔·路易斯·卡诺瓦 相关软件: 糖J;Xtext(扩展文本) 主要字段: 计算机科学(68-XX)
FUMA公司 在0个文档中引用 软件作者: Watanabe K.、Taskesen E.、van Bochoven A.、Posthuma D 相关软件: UCSC基因组浏览器;基因编码;闪亮… 主要字段: –
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)
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)