×

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

数学SAT

59篇文献引用(2005–2023)
软件作者: 罗伯特·布鲁托梅索、亚历山德罗·西马蒂、安德斯·弗兰森、阿尔贝托·格里乔、罗伯托·塞巴斯蒂亚尼
相关软件: z3;Yices;SMT-LIB…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);计算机科学(68-XX)…

SA集群

12份文件引用(2012–2022)
软件作者: 程红;周,杨;黄欣;Yu,Jeffrey Xu先生
相关软件: 集群内;GraRep公司;节点2vec…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

奈亚德

7份文件引用(2017–2022)
软件作者: D.G.Murray、F.McSherry、R.Isaacs、M.Isard、P.Barham、M.Abadi
相关软件: LOLA;哈斯克尔;Apache Spark…
主要字段: 计算机科学(68-XX)

RDFox公司

5份文件引用(2020–2023)
软件作者: Nenov,Y.、Piro,R.、Motik,B.、Horrocks,I.、Wu,Z.、Banerjee,J。
相关软件: DBpedia;SPARQL;LUBM…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Inc群集

5份文件引用(2012–2020)
软件作者: 程红;周,杨;黄欣;Yu,Jeffrey Xu先生
相关软件: SA集群;线路;apcluster…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

在线PCA

引用于2份文件(2018–2022)
软件作者: 大卫·迪格拉斯·埃尔维·卡多特
相关软件: ARPACK;R;厄尔巴…
主要字段: 统计学(62-XX)

葡萄

3份文件引用(2018–2020)
软件作者: 范文飞;于文元;徐静波;周景仁;罗晓坚;殷、羌;卢平;曹、杨;徐瑞琪
相关软件: 网猪;布洛格尔;GPS…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

MaizeRouter公司

1份文件引用(2015年)
软件作者: ——
相关软件: 森林狼
主要字段: 组合数学(05-XX);运筹学,数学编程(90-XX)

DisPGB.mpl公司

引用于2份文件(2017–2019)
软件作者: 阿米尔·哈希米;M.Alizadeh,Benyamin;Mahdi Dehghani Darmian
相关软件: 枫树;单一;IncDisPGB.mpl…
主要字段: 交换代数(13-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

德特里

1份文件引用(2017)
软件作者: E.P.穆克
相关软件: Matlab;Normaliz;CUDA…
主要字段: 组合数学(05-XX);几何(51-XX);凸和离散几何(52-XX)…

提案解决方案

1份文件引用(2018)
软件作者: 尼古拉斯·佩尔蒂埃
相关软件: github;格栅;FOL_Harrison…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

处理器

在0个文档中引用
软件作者: A.P.Iyer、Q.Pu、K.Patel、J.E.Gonzalez、I.Stoica
相关软件: 奈亚德;利格拉;图形生成…
主要字段: ——

EVFDT公司

在0个文档中引用
软件作者: 拉蒂夫,R。;阿巴斯,H。;拉蒂夫,S。;A.马苏德。
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件