×

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

谷物

102份文件引用(2009–2023)
软件作者: Hell,M.,Johansson,T.,Meier,W。
相关软件: 氚;eSTREAM;米奇…
主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…

生物网格

引用于33份文件(2008–2023)
软件作者: C.Stark、B.Breitkreutz、T.Reguly、L.Boucher、A.Breitkreutz、M.Tyers
相关软件: KEGG;完整的;细胞景观…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

GHC公司

36篇文献引用(1986–2014)
软件作者: Kazunori上田
相关软件: PARLOG;基马;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

ZRAM公司

41篇文献引用(1997–2020)
软件作者: 阿德里安·布伦格尔(Adrian Brüngger);安布罗斯·马泽塔;福田、科美;Jurg Nievergelt公司
相关软件: QAPLIB;cdd;聚乙烯…
主要字段: 组合数学(05-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

洛拉

26篇文献引用(2000–2021)
软件作者: 卡斯滕·施密特(Karsten Schmidt);K·沃尔夫。
相关软件: 玛丽亚;Uppaal;BPEL2PN…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

跳跃

19份文件引用(2011–2022)
软件作者: 托马斯·伦利(Thomas Lumley);艾伦·米勒
相关软件: R;glmnet;最好的…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

皇家卫星

18篇文献引用(2008–2016)
软件作者: 结Pipatsrisawat;阿德南·达尔维什
相关软件: MiniSat;糠;PicoSAT…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

兔子

19份文件引用(2003–2023)
软件作者: Martin Boesgaard、Mette Vesterager、Thomas Pedersen、Jesper Christiansen、Ove Scavenius
相关软件: eSTREAM;索塞曼英国;谷物…
主要字段: 数论(11-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

晶格生成器

16篇文献引用(2015–2023)
软件作者: L'Ecuyer,P.,Munger,D。
相关软件: sobol.cc;Magic Point Shop;SSJ…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…

索斯曼努克

在14份文件中引用(2008–2023)
软件作者: 冯秀涛;刘军;周兆村;吴传坤;冯登国
相关软件: 兔子;eSTREAM;雪…
主要字段: 差分方程和函数方程(39-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

梯度规范

在14份文件中引用(2021–2024)
软件作者: Zhao Chen、Vijay Badrinarayanan、Chen Yu Lee、Andrew Rabinovich
相关软件: 亚当;PINNsNTK;NSF网络…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

无间道

7份文件引用(2010–2018)
软件作者: Nawrocki EP、Kolbe DL、Eddy SR
相关软件: 法国复兴信贷银行;R;ClustalW…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)…

Hadamard搜索

10篇文献引用(2006–2018)
软件作者: 维克托·阿尔瓦雷斯·索拉诺;何塞·安德烈斯·阿马里奥·桑帕洛;玛丽亚·多洛雷斯-加西亚夫人;佩德罗·雷亚·尤拉多
相关软件: 数学;Kenzo;间隙…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);群论与推广(20-XX)…

奥科蒂洛

10篇文献引用(2000–2016)
软件作者: Goldman,Deborah;Istrail,Sorin;朱塞佩·兰西亚;安东尼奥·皮科波尼;布莱恩·瓦伦茨
相关软件:
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

混合MoGenD

6篇文献引用(2009–2019)
软件作者: 威尔逊·图西勒;伊丽莎白·加斯亚特
相关软件: 结构;R;mixsmsn…
主要字段: 凸和离散几何(52-XX);统计学(62-XX);生物学和其他自然科学(92-XX)

NPen公司++

3份文件引用(2004–2009)
软件作者: S.Jäger、S.Manke、A.Waibel
相关软件: SVM工具箱
主要字段: 计算机科学(68-XX)

惊喜

1份文件引用(2021)
软件作者: 拥抱,尼古拉斯
相关软件: LibRec;OpenRec;Python…
主要字段: 计算机科学(68-XX)

DIADEM(直径)

3份文件引用(2017–2022)
软件作者: Furche,T。;Gottlob,G。;格拉索,G。;郭,X。;Orsi,G。;夏尔哈特,C。;Wang,C。
相关软件: 数据日志;PriEsT;发电机…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

ADP_EM公司

1份文件引用(2016)
软件作者: JoséIgnacio Garzón、Julio Kovacs、Ruben Abagyan、Pablo Chacón
相关软件: 剂量;阿波罗;DBAli工具…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

加菲(Gaphyl)

2份文件引用(2001–2007)
软件作者: 克莱尔·贝茨,康登
相关软件: PHYLIP;PAUP*;快速脱氧核糖核酸ml
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

PFCorr公司

3份文件引用(2013–2021)
软件作者: Chandrajit巴贾杰;鲍尔,贝内迪克特;拉达克里什纳·贝塔达普拉;安捷·沃尔拉斯
相关软件: NFFT3;LORM;MTEX…
主要字段: 积分变换,运算微积分(44-XX);流形和细胞复合体(57-XX);统计学(62-XX)…

深度TMA

2份文件引用(2019年至2021年)
软件作者: Geyer,F.、Bondorf,S。
相关软件: DiscoDNC;NCBounds;蟒蛇
主要字段: 计算机科学(68-XX)

显式PRISMSymm

2份文件引用(2015)
软件作者: 帕特尔,里马;凯文·帕特尔(Kevin Patel);蒂伦·帕特尔
相关软件: 棱镜
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

最小有效值

1份文件引用(2009)
软件作者: Jewett,A.I。;黄,C.C。;铁蛋白,T.E。
相关软件: EzyPred公司;信号-3L;信号-CF…
主要字段: 组合数学(05-XX);生物学和其他自然科学(92-XX)

SWIFT银行代码

2份文件引用(2012–2015)
软件作者: G.D’Avenio M.Grigioni G.Orefici R.Creti(G.达维尼奥·M·格里吉奥尼·G·奥雷菲西·克雷蒂)
相关软件: 青少年;BLAT;MEME…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

TAGster(标签管理员)

1份文件引用(2010)
软件作者: 徐宗立;诺曼·L·卡普兰;杰克·泰勒
相关软件: 哈普洛维
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

DryadOpt公司

1份文件引用(2015)
软件作者: Budiu,M.、Delling,D.、Werneck,R.F。
相关软件: JOSTLE;卡夫帕;苏格兰威士忌…
主要字段: 组合数学(05-XX);运筹学、数学规划(90-XX)

elrint3d

1份文件引用(2010)
软件作者: 李天成;伊恩·罗宾逊
相关软件: d2lri;ParInt;r2d2lri…
主要字段: 数值分析(65-XX)

LOOPER(回路)

1份文件引用(2014)
软件作者: V.Z.Spassov,P.K.Flook,L.Yan
相关软件: 西拉默;BacSim;神经元…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

ReSS公司

在0个文档中引用
软件作者: 劳拉·萨尼、米歇尔·阿莫雷蒂、斯特凡诺·卡诺尼、莫妮卡·莫多尼尼、里卡多·佩科里
相关软件: CUDA;蟒蛇
主要字段:

Tort装饰

1份文件引用(2001)
软件作者: M.加巴约。;Roanes-Lozano,E。;Roanes-Macías,E。
相关软件:
主要字段: 计算机科学(68-XX)

TuPAQ公司

1份文件引用(2020年)
软件作者: Evan R.Sparks、Amee Talwalkar、Michael J.Franklin、Michael I.Jordan、Tim Kraska
相关软件: 阿达德尔塔;HSL-VF05;EMNIST…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…

遮阳板

1份文件引用(2001)
软件作者: de Jager,B。;巴恩斯,J。
相关软件:
主要字段: 计算机科学(68-XX)

穷举博弈解算器

在0个文档中引用
软件作者: 蓝色
相关软件:
主要字段:

OptiPharm公司

在0个文档中引用
软件作者: Puertas-Martín,S.、Redondo,J.L.、Ortigosa,P.M.、Pérez-Sánchez,H。
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件