×

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

gCol(色谱柱)

34份文件引用(2016–2023)
软件作者: 刘易斯,R.M.R。
相关软件: CALMA公司;irace;禁忌搜索…
主要字段: 组合数学(05-XX);常微分方程(34-XX);统计学(62-XX)…

图特_bhkk

在11份文件中引用(2010年-2023年)
软件作者: 安德烈亚斯·比约克隆德(Andreas Björklund)、托尔·胡斯菲尔德(Thore Husfeldt)、佩特里·卡斯基(Petteri Kaski)、米科·科维斯托(Mikko Koivisto)
相关软件: 图特;SageMath;GiNaC…
主要字段: 组合数学(05-XX);数论(11-XX);数值分析(65-XX)…

CsegGraph(CsegGraph)

8份文件引用(2008–2022)
软件作者: 沙哈达特·侯赛因
相关软件: DSJM;IML++;迷你锌…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

DSATUR公司

8份文件引用(2001–2020)
软件作者: Janczewski,R。;Kubale,M。;Manuszewski,K。;皮瓦科夫斯基,K。
相关软件: DIMACS;CPLEX;阿巴克斯
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

彩色周长

4份文件引用(2012–2023)
软件作者: 拉尔斯·诺琴斯基
相关软件: Isabelle/HOL;存档正式证据;大锤…
主要字段: 数理逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

图特

4份文件引用(2010–2022)
软件作者: 贝迪尼,A。;雅各布森,J.L。
相关软件: tutte_bhkk;GiNaC;SageMath…
主要字段: 组合数学(05-XX);数值分析(65-XX);统计力学,物质结构(82-XX)

筛选结果依据…

全部的 前3名

主字段