弹丸 71篇文献引用(2006–2023) 软件作者: Sirin,E.,Parsia,B.,Grau,B.C.,Kalyanpur,A.,Katz,Y。;Clark&Parsia有限责任公司 相关软件: FaCT++;赛车手;赫密特… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
iPro54磅/平方英寸 32篇文献引用(2015–2019) 软件作者: Lin,H。;邓永中。;丁·H。;Chen,W。;周,K.-C。 相关软件: Pse-in-One;iRSpot-PseDNC;pSuc-Lys… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
SA集群 12份文件引用(2012–2022) 软件作者: 程红;周,杨;黄欣;Yu,Jeffrey Xu先生 相关软件: 集群内;GraRep;节点2vec… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
CoCo公司 6篇文献引用(2002–2018) 软件作者: Badsberg JH公司 相关软件: MIM;R;mclust… 主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…
GenSoFNN公司 4份文件引用(2006–2012) 软件作者: 东,W.L。;C.奎克。 相关软件: ANFIS;DENFIS;RSPOP公司 主要字段: 常微分方程(34-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
奈亚德 7份文件引用(2017–2022) 软件作者: D.G.Murray、F.McSherry、R.Isaacs、M.Isard、P.Barham、M.Abadi 相关软件: LOLA;哈斯克尔;Apache Spark… 主要字段: 计算机科学(68-XX)
nlme单位 7份文件引用(2013年-2023年) 软件作者: Andrzej Galecki、Tomasz Burzykowski 相关软件: R;S-PLUS;1毫秒… 主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
女妖 5份文件引用(2007–2020) 软件作者: 约翰·科杜马尔(John Kodumal);亚历克斯·艾肯 相关软件: 锈蚀;github;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
电子音量检查 7份文件引用(2013–2022) 软件作者: 格里戈里·费德尤科维奇;Ondrej Sery;娜塔莎·莎莉吉娜 相关软件: 佩里普洛;FunFrog;SymDiff… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
标签等级T 6篇文献引用(2016–2021) 软件作者: 谢杰瑞、陈明明、博莱斯瓦夫·西曼斯基 相关软件: C索引器;SELP;GitHub… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
MBT公司 5份文件引用(1999–2005) 软件作者: Daelemans,W.,Zavrel,J.,Berck,P.,Gillis,S。 相关软件: 宾夕法尼亚树银行;树标记器 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
买办 5份文件引用(2010–2019) 软件作者: 霍利·詹斯、加里·朗顿、玛格丽特·佩佩 相关软件: Stata公司;加迈尔;引导… 主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)
CONISS公司 3份文件引用(2018–2021) 软件作者: E.C.格林。 相关软件: 里奥哈;ggplot2;R、 … 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
Inc集群 5份文件引用(2012–2020) 软件作者: 程红;周,杨;黄欣;Yu,Jeffrey Xu先生 相关软件: SA集群;线路;apcluster… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
卡纳克·斯盖姆 3份文件引用(2013–2014) 软件作者: Panzeca,T。;帕拉维奇奥,E。;齐托,L。;高,X.W。;郭,X。 相关软件: Matlab;数学;BEMECH公司 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
ADTT公司 2份文件引用(2022–2023) 软件作者: X.Wang、L.T.Yang、Y.Wang和L.Ren、M.J.Deen 相关软件: 分裂;塔克MPI;TKPSVD… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)
通过ADL 在0个文档中引用 软件作者: Di Ruscio,D.、Malavolta,I.、Muccini,H.、Pelliccione,P.、Pierantonio,A。 相关软件: OCaml;FPath;xMAML… 主要字段: 计算机科学(68-XX)
D*超轻 2份文件引用(2017–2019) 软件作者: 马西耶·普尔兹比尔斯基;芭芭拉·普茨 相关软件: D*Lite系列 主要字段: 变异微积分和最优控制;优化(49-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)
FAIS公司 2份文件引用(2002–2012) 软件作者: Ted E.参议员、Henry G.Goldberg、Jerry Wooton、Matthew A.Cottini、A.F.Umar Khan、Christina D.Klinger、Winston M.Llamas、Michael P.Marrone、Raphael W.H.Wong 相关软件: RSiena公司;lda;PRMLT… 主要字段: 统计学(62-XX);计算机科学(68-XX)
PHABSIM公司 2份文件引用(2014–2019) 软件作者: Milhous RT,Waddle TJ公司 相关软件: – 主要字段: 偏微分方程(35-XX);生物学和其他自然科学(92-XX)
StreamFitter公司 1份文件引用(2023) 软件作者: Nadungodage,C.H。;夏,Y。;李,F。;Lee,J.J。;Ge,J。 相关软件: 新加坡元-QN 主要字段: 统计学(62-XX)
VeriFly公司 2份文件引用(2021年至2022年) 软件作者: Sanchez-Ordaz,Miguel A。;伊莎贝尔·加西亚·孔特雷拉斯(Isabel Garcia-Contreras);维克托·佩雷斯(Victor Perez);JoséF.Morales。;佩德罗·洛佩兹·加西亚;曼努埃尔五世(Manuel V.Hermenegildo)。 相关软件: 汞;CiaoPP公司;Ciao… 主要字段: 计算机科学(68-XX)
CyGraph(赛格图) 1份文件引用(2018) 软件作者: Noel,S。;哈雷,E。;Tam,K。;利米埃罗,M。;共享,M。 相关软件: MulVAL;TCPDUMP公司 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX)
DYANAS公司 在0个文档中引用 软件作者: Baltzopoulos G.、Baraschino R.、Iervolino I.、Vamvatsikos D。 相关软件: ABAQUS;SAP2000;VTK… 主要字段: –
MoSS公司 1份文件引用(2021) 软件作者: 埃米尔·赫茨伯格;莱博维茨,赫米;西塔,埃瓦;萨拉·沃托尼亚克 相关软件: 隐秘HOL;塔马林;GNUC… 主要字段: 信息与通信理论,电路(94-XX)
PeCA公司 1份文件引用(2014) 软件作者: Le,Dinh-Thuan;Nguyen,Huu-Vu;阮文廷;Mai,Phuong-Nam;Pham-Duy,Bao-Trung;Quan、Thanh-Tho;埃蒂安·安德烈;劳雷·佩特鲁奇(Laure Petrucci);刘,杨 相关软件: CPN/工具;清爽;访问/CPN… 主要字段: 计算机科学(68-XX)