自动分类 40篇文献引用(1992–2021) 软件作者: 约翰·斯图茨;彼得·齐斯曼 相关软件: UCI-ml;C4.5;clusfind… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
爪哇风扇 30篇文献引用(2004–2018) 软件作者: 阿扎德·法尔赞;陈冯;何塞·梅塞盖尔;格里高·罗什乌 相关软件: 莫德;K校准仪;MMT… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
DirectLiNGAM公司 28篇文献引用(2011–2023) 软件作者: 清水秀;Takanori Inazumi;Sogawa Yasuhiro;阿波·海瓦里宁;川原幸男;川崎隆(Takashi Washio);Patrik O.Hoyer;肯尼思·博伦 相关软件: TETRAD公司;学习;glmnet… 主要字段: 组合数学(05-XX);功能分析(46-XX);概率论与随机过程(60-XX)…
TENSOLVE公司 28篇文献引用(1993–2022) 软件作者: 阿里·布瓦里查(Ali Bouaricha);罗伯特·施纳贝尔。 相关软件: 最小包装;MINPACK-2;MPSalsa… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);算子理论(47-XX);数值分析(65-XX)…
贝德维尔 21篇文献引用(2007–2022) 软件作者: David Baelde、Andrew Gacek、Dale Miller、Gopalan Nadathur、Alwen Tiu 相关软件: Twelf;阿贝拉;名义上的伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
Hadamard搜索 10篇文献引用(2006–2018) 软件作者: 维克托·阿尔瓦雷斯·索拉诺;何塞·安德烈斯·阿马里奥·桑帕洛;玛丽亚·多洛雷斯-加西亚夫人;佩德罗·雷亚·尤拉多 相关软件: Mathematica;Kenzo;间隙… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);群论和推广(20-XX)…
国内流离失所者3 9份文件引用(2015–2020) 软件作者: 莫里斯·布鲁诺;亨德里克·布洛克(Hendrik Blockeel);博加特,巴特;De Cat,Broes;德普特(De Pooter,Stef);约阿希姆·扬森;安东尼·拉巴雷;Ramon,Jan;马克·德内克(Marc Denecker);四川省韦尔市 相关软件: 卡环;WASP;DLV… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
FaPAS公司 4份文件引用(2013–2018) 软件作者: B.约丹诺夫,C.贝尔塔 相关软件: NuSMV;VeriSIMPL;算法97… 主要字段: 组合数学(05-XX);生物学和其他自然科学(92-XX);系统论;对照(93-XX)
西塔 2份文件引用(2015–2021) 软件作者: 乔蒂莫·德斯穆赫(Jyotirmoy Deshmukh);金小青;詹姆斯·卡宾斯基(James Kapinski);奥德·马勒 相关软件: 违约;S-TaLiRo;自适应压力测试.jl… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
MHOST公司 2份文件引用(1996–2005) 软件作者: S.Nakazawa公司 相关软件: CometBoards;LAPACK;唠叨… 主要字段: 可变形固体力学(74-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
qmvs公司 1份文件引用(2023年) 软件作者: 马丁·施拉特(Martin Schlather);李一奇 相关软件: 裂隙;R(右) 主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX)