数学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)…
葡萄 3份文件引用(2018–2020) 软件作者: 范文飞;于文元;徐静波;周景仁;罗晓坚;殷、羌;卢平;曹、杨;徐瑞琪 相关软件: 网猪;布洛格尔;GPS… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
DisPGB.mpl公司 引用于2份文件(2017–2019) 软件作者: 阿米尔·哈希米;M.Alizadeh,Benyamin;Mahdi Dehghani Darmian 相关软件: 枫树;单一;IncDisPGB.mpl… 主要字段: 交换代数(13-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)