×

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

剪影

248篇文献引用(1987–2023)
软件作者: 彼得·卢梭。
相关软件: 集群发现;UCI-ml;R、 …
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

最小电流

136篇文献引用(1995–2023)
软件作者: 大卫·爱德华兹
相关软件: 玻璃;TETRAD公司;R、 …
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…

SCALCG公司

134篇文献引用(2006–2024)
软件作者: 安德烈,N。
相关软件: 切割机;CG_DESCENT;可爱…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

班德拉

105篇文献引用(2000–2023)
软件作者: 约翰·哈特克利夫;马修·德怀尔
相关软件: 自旋蛋白;Java PathFinder;veriSoft…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

ASTREE公司

112份文件引用(2002–2023)
软件作者: 帕特里克·库索特(Patrick Cousot)、拉迪亚·库索特、杰罗姆·费雷特(Jeróme Feret)、劳伦特·毛博尔涅(Laurent Mauborgne)、安托万·米内(Antoine Miné)、大卫·莫尼奥(David Monniaux)、泽维尔·
相关软件: 停机坪;z3;应用程序…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);数值分析(65-XX)…

蒂罗尔(Tyrolean)

95篇文献引用(2005–2023)
软件作者: Nao Hirokawa;阿尔特·米德尔多普
相关软件: AProVE;多终端;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);场论与多项式(12-XX);结合环与代数(16-XX)…

停机坪

80篇文献引用(1991–2023)
软件作者: Jeannet,伯特兰;安托万·米内
相关软件: ASTREE公司;PPL;z3…
主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…

戴维

引用于45份文件(2007–2022)
软件作者: Huang DW、Sherman BT、Tan Q等人
相关软件: KEGG;R;生物导体…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

奥斯卡

63份文件引用(2008–2024)
软件作者: 霍华德·邦德尔。;布莱恩·雷奇(Brian J.Reich)。
相关软件: glmnet;卡萨诺瓦;PDCO…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

八角形

59篇文献引用(2002–2014)
软件作者: A.米内。
相关软件: ASTREE公司;停机坪;应用程序…
主要字段: 数学逻辑与基础(03-XX);凸和离散几何(52-XX);数值分析(65-XX)…

IMPS公司

52篇文献引用(1990–2021)
软件作者: Farmer,William M。;约书亚·D·古特曼。;塞耶,F.哈维尔
相关软件: 伊莎贝尔;Nuprl;Coq…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

区域设置

53篇文献引用(1999–2024)
软件作者: 克莱门斯·巴拉林
相关软件: Isabelle/HOL;伊莎贝尔;存档正式证据…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);代数几何(14-XX)…

CiaoPP公司

51篇文献引用(1999–2022)
软件作者: Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。
相关软件: Ciao;SICStus公司;汞…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CATHARE公司

49篇文献引用(1997–2021)
软件作者: D.底座
相关软件: 澳大利亚统计局;HLLE;HLLC…
主要字段: 偏微分方程(35-XX);近似和展开(41-XX);数值分析(65-XX)…

CDuce公司

48篇文献引用(2003–2020)
软件作者: 本扎肯,维罗尼克;朱塞佩·卡斯塔尼亚;阿兰·弗里希
相关软件: XDouce;XQuery;XPath…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

印章

39篇文献引用(1998–2023)
软件作者: 科普曼,S.J。;哈维,A.C。;Doornik,J.A。;谢泼德,A。
相关软件: SsfPack;公牛;R、 …
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

群集路径

38篇文献引用(2012–2023)
软件作者: 霍金,T.D。;Joulin,A。;巴赫,F。
相关软件: k-均值++;UCI-ml;AS 136…
主要字段: 算子理论(47-XX);统计学(62-XX);数值分析(65-XX)…

Xception公司

31份文件引用(2017–2023)
软件作者: 弗朗索瓦·乔莱特
相关软件: ImageNet;MobileNets;亚当…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

消防车

23篇文献引用(2011–2023)
软件作者: 克里斯蒂安·海宁
相关软件: R;簇(R);mclust…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

SeaHorn公司

36篇文献引用(2015–2023)
软件作者: Gurfinkel,A.,Kahsai,T.,Komuravelli,A.,Navas,J.A。
相关软件: z3;垫片;CPA检查器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

bfa公司

34份文件引用(2013–2023)
软件作者: Jared S.Murray。;戴维·邓森(David B.Dunson)。;劳伦斯·卡林;约瑟夫·卢卡斯(Joseph E.Lucas)。
相关软件: R;ADVI;阿达德尔塔…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

jStar公司

32篇文献引用(2008–2022)
软件作者: DiStefano,D.,Parkinson,M。
相关软件: 小脚;VeriFast;Coq…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

AI2公司

27篇文献引用(2020年至2024年)
软件作者: Gehr,T.、Mirman,M.、Drachsler-Cohen,D.、Tsankov,P.、Chaudhuri,S.、Vechev,M.T。
相关软件: Reluplex;马拉博;ImageNet…
主要字段: 代数几何(14-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

反应途径

15篇文献引用(2008–2023)
软件作者: G.Joshi-Tope M.Gillespie;一、Vastrik;P.D’Eustachio;E.施密特;B.德博诺;B.贾萨尔;G.R.Gopinath;吴总;L.Matthews;S.Lewis;E.伯尼;L.斯坦因
相关软件: KEGG;生物导体;MetaCyc…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

德沃尔

22篇文献引用(1998–2023)
软件作者: Cignoni,P。;蒙塔尼,C。;斯科皮尼奥,R。
相关软件: CGAL;三角形;二维三角剖分…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

HOL-OCL公司

13份文件引用(2002–2016)
软件作者: 阿希姆·D·布鲁克。;沃尔夫,伯克哈特
相关软件: ATL;凯伊;ETPS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PAG公司

20篇文献引用(1996–2018)
软件作者: 弗洛里安·马丁
相关软件: NINJA公司;BLAS;MPI/MPICH…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)…

快速GCN

18篇文献引用(2020–2023)
软件作者: 陈杰、马腾飞、曹晓
相关软件: DeepWalk;亚当;PyTorch…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…

FULPAL公司

19份文件引用(1990–2017)
软件作者: H.Rommelfanger先生
相关软件: PSPLIB;基因组学;RanGen…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);运筹学,数学规划(90-XX)…

TXL(热膨胀)

13份文件引用(2005–2022)
软件作者: 詹姆斯·科迪。
相关软件: Stratego;ASF+SDF;JastAdd…
主要字段: 计算机科学(68-XX)

CCA公司

14篇文献引用(2008–2021)
软件作者: 伊格纳西奥·冈萨雷斯(Ignacio González)、塞巴斯蒂安·德让(Sébastien Déjean)、帕斯卡·马丁(Pascal G.P.Martin)、阿兰·巴奇尼(Alain Baccini)
相关软件: R;项目管理局;mixOmics…
主要字段: 总体主题;藏品(00-XX);线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX)…

FunArray(趣味阵列)

18篇文献引用(2011–2021)
软件作者: 帕特里克·库索特(Patrick Cousot);拉迪亚·库索特;弗朗西斯科·洛戈佐
相关软件: ASTREE公司;z3;助推器…
主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)

GeneRank公司

17篇文献引用(2010–2023)
软件作者: 朱莉·莫里森(Julie L Morrison);雷纳百年灵;Desmond J Higham;大卫·R·吉尔伯特
相关软件: Matlab;分子网络;测试矩阵…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

测试集IVP

18篇文献引用(2005–2023)
软件作者: F.Mazzia、F.Iavernaro
相关软件: 罗德斯;Matlab;数据集…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

纽约大学深度

16篇文献引用(2015–2024)
软件作者: Nathan Silberman、Pushmet Kohli、Derek Hoiem、Rob Fergus
相关软件: 抓斗切割;ImageNet;AlexNet…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

SymNMF公司

17篇文献引用(2015–2023)
软件作者: Kuang,Da;Yun,Sangwoon;海森公园
相关软件: 层次NMF2;SmallK;RCV1…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

匕首

15篇文献引用(2008–2021)
软件作者: 巴加夫S.古拉瓦尼。;查克拉波蒂,苏普拉蒂克;阿迪蒂亚·诺里(Aditya V.Nori)。;Rajamani,Sriram K。
相关软件: PPL;停机坪;SLAM…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

HYTEC公司

16篇文献引用(2010–2022)
软件作者: 简·范德利、劳伦特·德温特、文森特·拉格诺、帕特里克·高布利特
相关软件: MoMaS;最小值3;水文地球化学…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

维拉斯科

15篇文献引用(2016–2023)
软件作者: Jacques Henri Jourdan、Vincent Laporte、Sandrine Blazy、Xavier Leroy、David Pichardie
相关软件: Coq;工具链;z3…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);凸和离散几何(52-XX)…

弧形面

9份文件引用(2020–2023)
软件作者: 邓建康、贾过、薛念南、斯特凡诺斯·扎菲里奥
相关软件: FaceNet;PyTorch;LFW…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

椭圆盖.lib

14篇文献引用(2015–2024)
软件作者: Janko Böhm、Kathrin Bringmann、Arne Buchholz、Hannah Markwig
相关软件: 单一;鹦鹉螺;痕迹…
主要字段: 数论(11-XX);代数几何(14-XX);复变量的函数(30-XX)…

科根(Cogent)

11份文件引用(2005–2018)
软件作者: 库克,拜伦;Daniel Kroening;娜塔莎·莎莉吉娜
相关软件: 卫星抗体;简化;旋转…
主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…

薄片

10篇文献引用(2016–2022)
软件作者: Carter,M.、He,S.、Whitaker,J.、Rakamarić,Z.、Emmi,M。
相关软件: CBMC;z3;SeaHorn…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

混合稳定样条线工具箱

12份文件引用(2016–2023)
软件作者: 吉安路易吉·皮洛内托
相关软件: Matlab;PRMLT;GitHub…
主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);统计学(62-XX)…

MUI公司

11份文件引用(2015–2021)
软件作者: 唐玉红;Kudo、Shuhei;卞、欣;李震;乔治·埃姆·卡尼亚达基斯
相关软件: 预CICE;地址;OpenFOAM…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

QNet公司

12份文件引用(2008–2023)
软件作者: S.Grunewald,K.Forslund,A.连衣裙,V.莫尔顿
相关软件: SplitsTree;SVD四重奏;四重奏MaxCut…
主要字段: 组合数学(05-XX);凸和离散几何(52-XX);统计学(62-XX)…

SOCR公司

3份文件引用(2014年至2019年)
软件作者: 伊沃·D·迪诺夫
相关软件: 运动图表;R;StatCrunch…
主要字段: 统计学(62-XX);流体力学(76-XX)

可变选择LCM

11份文件引用(2017–2023)
软件作者: 马蒂厄·马尔巴克(Matthieu Marbac);穆罕默德·塞基
相关软件: R;斯巴克尔;clustvarsel…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

EdgeIdeals公司

11份文件引用(2009–2023)
软件作者: Francisco,C.A.,Hoefel,A.,Van Tuyl,A。
相关软件: 麦考利2号;可可;简单分解…
主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);交换代数(13-XX)…

国际会计准则

11份文件引用(2000–2023)
软件作者: 贾努斯·格拉纳特(Janusz Granat);马雷克·马科斯基
相关软件: MESSAGEix;TROTS;SPEA2…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

欧西里克斯

5份文件引用(2015–2018)
软件作者: Antoine Rosset、Luca Spadola、Osman Ratib
相关软件: VTK;PixelMed;ITK…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

可视化软件

4份文件引用(2014–2021)
软件作者: 陈朝美
相关软件: VOS查看器;CitNetExplorer;DeepWalk…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

3D切片器

5份文件引用(2016–2020)
软件作者: Fedorov A、Beichel R、Kalpathy-Cramer J、Finet J、Fillion-Robin JC、Pujol S、Bauer C、Jennings D、Fennessy F、Sonka M、Buatti J、Aylward S、Miller JV、Pieper S、Kikinis R
相关软件: 蟒蛇;数字Py;ITK…
主要字段: 偏微分方程(35-XX);可变形固体力学(74-XX);流体力学(76-XX)…

iSAM2系统

9份文件引用(2015–2023)
软件作者: 凯斯,M。;Johannsson,H。;罗伯茨,R。;伊拉,V。;Leonard,J。;Dellaert,F。
相关软件: g2o;MonoSLAM;SE同步…
主要字段: 变异微积分和最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

PAGAI公司

10篇文献引用(2014年至2022年)
软件作者: 朱利安·亨利、大卫·莫尼奥、马蒂厄·莫伊
相关软件: 停机坪;PPL;阿斯匹克…
主要字段: 数学逻辑与基础(03-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

LMN总计

引用于8份文件(2005–2013)
软件作者: Kazunori上田
相关软件: GHC;贾纳斯;CC-Pi…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

Mplus自动化

7份文件引用(2012–2022)
软件作者: 迈克尔·哈奎斯特(Michael Hallquist);约书亚·威利
相关软件: Mplus;R;打开Mx…
主要字段: 统计学(62-XX)

VSURF公司

引用于8份文件(2019–2022)
软件作者: 罗宾·格努尔(Robin Genuer)、珍妮·米歇尔·波吉(Jean-Michel Poggi)、克里斯汀·图劳·马洛特(Christine Tuleau-Malot)
相关软件: 随机森林;R;博鲁塔…
主要字段: 欧氏空间(42-XX)的调和分析;统计学(62-XX);计算机科学(68-XX)…

泽利格

3份文件引用(2014–2017)
软件作者: Christine Choirat、James Honaker、Kosuke Imai、Gary King、Olivia Lau
相关软件: R;ggplot2;knitr…
主要字段: 统计学(62-XX);计算机科学(68-XX)

AO4BPEL公司

引用于2份文件(2012–2013)
软件作者: 查菲A,梅齐尼M
相关软件: WebSphere;JML;WSAT…
主要字段: 计算机科学(68-XX)

HMC公司

7份文件引用(2014–2021)
软件作者: Jhala,R.、Majumdar,R.和Rybalchenko,A。
相关软件: z3;垫片;SeaHorn…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

雅克斯塔布

7份文件引用(2011–2023)
软件作者: Johannes Kinder,Helmut Veith
相关软件: SatAbs公司;WPDS++;SLAM…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

拉赫夫特

引用于8份文件(2018–2023)
软件作者: Kafle,B.,Gallagher,J.P.,Morales,J.F。
相关软件: z3;SeaHorn;垫片…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

AI解释360

引用于2份文件(2021)
软件作者: V.Arya、R.K.E.Bellamy、P.-Y.Chen、A.Dhurandhar、M.Hind、S.C.Hoffman、S.Houde、Q.V.Liao、R.Luss、A.Mojsilovic、S.Mourad、P.Pedemonte、R.Raghavendra、J.T.Richards、P.Sattigeri、K.Shanmugam、M.Singh、K.R.Varshney、D.Wei、Y.Zhang
相关软件: TensorFlow;InterpretML;不在场证明…
主要字段: 计算机科学(68-XX)

CuBICA公司

6篇文献引用(2004–2019)
软件作者: 托拜厄斯·布拉斯科(Tobias Blaschke);劳伦斯·维斯科特
相关软件: Matlab;累积量.jl;对称张量.jl…
主要字段: 统计学(62-XX);数值分析(65-XX);信息与通信理论,电路(94-XX)

HMMTOP公司

4份文件引用(2004–2006)
软件作者: Tusnady,G.E。;西蒙,I。
相关软件: SOSUI;爆炸;PSI-BLAST…
主要字段: 生物学和其他自然科学(92-XX)

RLangG风机

7份文件引用(2008–2019)
软件作者: 克里斯托夫·库彻恩
相关软件: RNAsubopt;RNA折叠;枫树…
主要字段: 组合数学(05-XX);交换代数(13-XX);线性代数和多线性代数;矩阵理论(15-XX)…

斯特雷格

7份文件引用(2009–2022)
软件作者: 罗伯托·古铁雷斯
相关软件: Stata公司;parfm;R、 …
主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);生物学和其他自然科学(92-XX)

不在场证明解释

3份文件引用(2021–2023)
软件作者: Janis Klaise;范·卢韦伦(van Looveren),阿尔诺(Arnaud);乔瓦尼·瓦坎蒂;亚历山德鲁,可口可乐
相关软件: 托辞;AI可解释性360;形状…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

阿尔法

6篇文献引用(1999–2005)
软件作者: D.K.王尔德。
相关软件: MMAlpha;PolyLib;OPERA…
主要字段: 计算机科学(68-XX)

CheXpert公司

3份文件引用(2022–2024)
软件作者: Jeremy Irvin、Pranav Rajpurkar等人。
相关软件: BioBERT公司;BERT;PyTorch…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

ConsensusPathDB协议

4份文件引用(2011年至2018年)
软件作者: Kamburov A、Pentchev K、Galicka H等人
相关软件: 完整的;生物网格;图表…
主要字段: 组合数学(05-XX);统计学(62-XX);生物学和其他自然科学(92-XX)

dim6顶部

5份文件引用(2021–2024)
软件作者: A.Aguilar Saavedra、C.Degrand、G.Durieux、F.Maltoni、E.Vryonidou、C.Zhang;D.Barducci、I.Brivio、V.Cirigliano、W.Dekens、J.de Vries、C.Englert、M.Fabbrichese、C.Grojean、U.Haisch、Y.Jiang、J.Kamenik、M.Mangano、D.Marzocca、E.Mereghetti、K.Mimasu、L.Moore、G.Perez、T.Plehn、F.Riva、M.Russell、J.Santiago、M.Schulze、Y.Soreq、A.Tonero、M.Trott、S.Westhoff、C.White、A.Wulzer、J.Zupan
相关软件: 费恩规则;MadGraph5_aMC@NLO;SuperTracer…
主要字段: 组合数学(05-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…

邓恩试验

5份文件引用(2020–2022)
软件作者: 亚历克西斯·迪诺
相关软件: R;描述工具;Python…
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

表达式探查器

1份文件引用(2003)
软件作者: 贾克·维洛(Jaak Vilo)、米沙·卡普什斯基(Misha Kapushesky)、帕特里克·凯默伦(Patrick Kemmeren)、乌吉斯·萨尔坎斯(Ugis Sarkans)、阿尔维斯·布拉斯马(Alvis Brazma)
相关软件: 生物导体;塔维纳;R、 …
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);生物学和其他自然科学(92-XX)

ggmcmc公司

1份文件引用(2019)
软件作者: 泽维尔·费尔南德斯·伊·马林
相关软件: R;JAGS;ggplot2…
主要字段: 统计学(62-XX)

马术

6篇文献引用(2018–2022)
软件作者: 马耳他·纳伦兹;马蒂亚斯·维拉尼
相关软件: 巴蒂;spBayes;bartMachine…
主要字段: 统计学(62-XX);计算机科学(68-XX)

多FP

5份文件引用(2007–2018)
软件作者: 希兰,M。
相关软件: 熔岩;Coquet;Coq…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

负鼠

6篇文献引用(2021–2023)
软件作者: 斯宾塞·伍迪;Carvalho,Carlos M。;贾里德·穆雷(Jared S.Murray)。
相关软件: 茨巴特;巴蒂;tsBCF…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

PRECiSA公司

6篇文献引用(2018–2022)
软件作者: 蒂托洛,劳拉;马可·A·费利乌。;玛丽亚诺·莫斯卡托;塞萨尔·穆尼奥斯。
相关软件: RangeLab;z3;ASTREE…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

SABoost公司

6篇文献引用(2007–2012)
软件作者: 曹,C.Andy;张远钦·伊凡
相关软件: 阿达·布斯特。MH;UCI-ml;R、 …
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)

印章

引用于2份文件(2014–2020)
软件作者:
相关软件: 生物优化器;游戏;变压器…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

流苏

3份文件引用(2012–2017)
软件作者: Bradbury,P.J.、Zhang,D.E.、Kroon,D.E.,Casstevens,T.M.、Ramdoss,Y.和Buckler,E.S。
相关软件: R;ASReml;GCTA…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);生物学和其他自然科学(92-XX)

wREFERASS公司

6篇文献引用(2011–2016)
软件作者: F.Garcia-Sevilla、E.Arribas、H.Bisswanger、M.Garcia-Moreno、F.Garcia-Canovas、Gomez Ladron、R.de Guevara、R.G.Duggleby、J.M.Yago、R.Varon
相关软件: 天空-2013
主要字段: 经典热力学,传热(80-XX);生物学和其他自然科学(92-XX);信息与通信理论,电路(94-XX)

托辞

3份文件引用(2021–2023)
软件作者: Janis Klaise、Arnaud Van Looveren、Giovanni Vacanti、Alexandru Coca
相关软件: 不在场证明解释;形状;TensorFlow…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

d2_群集

5份文件引用(2007–2019)
软件作者: Burke,J.、Davison,D.、Hide,W。
相关软件: 莫菲;PHYLIP;彩虹…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

编辑

引用于2份文件(2019–2020)
软件作者: Ryan G.James、Christopher J.Ellison、James P.Crutchfield
相关软件: 蟒蛇;SYNDISC公司;Matplotlib…
主要字段: 统计学(62-XX);信息与通信理论,电路(94-XX)

分册-T

5份文件引用(2007–2011)
软件作者: 查文特,玛丽;伊夫·莱切瓦利埃(Yves Lechevallier);奥利维·布赖恩特
相关软件: UCI-ml;DIVFRP;clusfind…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)

GSPPCA公司

5份文件引用(2017–2020)
软件作者: 查尔斯·布维伦(Charles Bouveyron);皮埃尔·拉图什(Pierre Latouche);Pierre-Alexandre马泰
相关软件: msda;项目管理局;贝塞尔…
主要字段: 统计学(62-XX)

拉布兹夫

引用于2份文件(2011年至2018年)
软件作者: 大卫·W·罗伯茨
相关软件: R;素食主义者;ade4…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

棒棒糖

5份文件引用(2010–2016)
软件作者: Karl Mazurak;史蒂夫·兹丹塞维奇
相关软件: VeriML;雷卡姆;哈斯克尔…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

OEIG公司

5份文件引用(2013–2022)
软件作者: 达斯,萨普塔什;阿诺德·诺伊梅尔
相关软件: Matlab;切布冯;JDQZ…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);近似和展开(41-XX);算子理论(47-XX)…

OnPLS上

5份文件引用(2018–2023)
软件作者: 汤米·Löfstedt;约翰·特里格
相关软件: 摇摆;玻璃;选择推理…
主要字段: 统计学(62-XX)

辛卡

3份文件引用(2007-2017)
软件作者: 产科;Sartorius Stedim生物技术公司
相关软件: R;老鼠;VIM…
主要字段: 统计学(62-XX)

麻雀

5份文件引用(2016–2022)
软件作者: Hakjoo Oh、Kihong Heo、Wonchan Lee、Woosuk Lee、Kwangkeun Yi
相关软件: 烟尘;停机坪;ASTREE…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

也是-X

4份文件引用(2022–2023)
软件作者: 江楠;谢伟军
相关软件: JuMP;PowerModels.jl;古罗比…
主要字段: 运筹学,数学编程(90-XX)

b能量

在0个文档中引用
软件作者: Philip Leifeld、Skyler J.Cranmer、Bruce A.Desmarais
相关软件: R;statnet;ergm…
主要字段:

塞尔夫

4份文件引用(2008–2023)
软件作者: 安德斯·沙克·奈尔森(Anders Schack-Nielsen);卡斯滕·舒尔曼
相关软件: 洛利;混合的;PLT兑换…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ChIPmix公司

4份文件引用(2013–2020)
软件作者: 玛丽·劳雷·马丁·马涅特(Marie-Laure Martin-Magniette)、特里斯坦·玛丽·华德(Tristan Mary-Huard)、卡罗琳·贝拉德(Caroline Bérard)、圣罗宾(Stéphane Robin)
相关软件: mixreg;混合工具;flexmix…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)

慈白

4份文件引用(2007–2010)
软件作者: 弗朗西斯科·洛戈佐
相关软件: ASTREE公司;CSSV;Groovy…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件