×

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

自动分类

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)

CARMA公司

9份文件引用(2011–2014)
软件作者: 丁,冯
相关软件:
主要字段: 统计学(62-XX);数值分析(65-XX);系统论;控制(93-XX)…

FaPAS公司

4份文件引用(2013–2018)
软件作者: B.约丹诺夫,C.贝尔塔
相关软件: NuSMV;VeriSIMPL;算法97…
主要字段: 组合数学(05-XX);生物学和其他自然科学(92-XX);系统论;对照(93-XX)

MoEC集群

引用于3份文件(2020–2023)
软件作者: 基夫·墨菲、托马斯·布伦丹·墨菲
相关软件: 柔性CWM;混合工具;R、 …
主要字段: 统计学(62-XX);计算机科学(68-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)

克氏硬度计

1份文件引用(2017)
软件作者: 张飞鹏;李群华
相关软件: Expectreg;蠕虫图;调整…
主要字段: 统计学(62-XX)

PD_模型

1份文件引用(2023年)
软件作者: 苏,坎坎;吕德春;周欣;王国胜;庄小英;杜秀丽
相关软件: ADIC公司
主要字段: 数值分析(65-XX);可变形固体力学(74-XX)

qmvs公司

1份文件引用(2023年)
软件作者: 马丁·施拉特(Martin Schlather);李一奇
相关软件: 裂隙;R(右)
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX)

定时自动机

1份文件引用(2016)
软件作者: 西蒙·威默
相关软件: 存档正式证据;HOL;Uppaal…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件