剪影 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)…
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)…
可变选择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)…
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)
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)
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)
马术 6篇文献引用(2018–2022) 软件作者: 马耳他·纳伦兹;马蒂亚斯·维拉尼 相关软件: 巴蒂;spBayes;bartMachine… 主要字段: 统计学(62-XX);计算机科学(68-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)…
麻雀 5份文件引用(2016–2022) 软件作者: Hakjoo Oh、Kihong Heo、Wonchan Lee、Woosuk Lee、Kwangkeun Yi 相关软件: 烟尘;停机坪;ASTREE… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
塞尔夫 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)