×

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

禁忌搜索

1027份文件引用(1991–2022)
软件作者: 弗雷德·格洛弗(Fred Glover);埃里克·泰勒;多米尼克·德韦拉
相关软件: 分散搜索;CPLEX;VRP…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

MOEA/D公司

315篇文献引用(2010–2024)
软件作者: 张庆福
相关软件: SPEA2;HypE;SMS-EMOA…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

全球野生动物组织

188篇文献引用(2014–2024)
软件作者: 米尔贾利利,S。;米尔贾利利,S.M。;A.刘易斯。
相关软件: WOA;GSA;SSA…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

ILUT公司

179份文件引用(1994–2023)
软件作者: 萨阿德
相关软件: 稀疏矩阵;SPARSKIT;手臂…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…

超启发式

131篇文献引用(2001–2024)
软件作者: 彼得·考林(Peter Cowling);格雷厄姆·肯德尔(Graham Kendall);埃里克·苏贝加;伯克·E
相关软件: 禁忌搜索;帕拉米尔斯;DIMACS…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

FEASPUMP公司

139篇文献引用(1979–2024)
软件作者: 菲舍蒂(Matteo Fischetti);多梅尼科·萨尔瓦金
相关软件: MIPLIB公司;CPLEX;MIPLIB2003…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

MINTO公司

138篇文献引用(1993–2022)
软件作者: G.L.Nemhauser、M.W.P.Savelsbergh、G.S.Sigismondi
相关软件: CPLEX;阿巴克斯;MIPLIB…
主要字段: 历史与传记(01-XX);凸和离散几何(52-XX);数值分析(65-XX)…

查科

108篇文献引用(1995–2023)
软件作者: B.亨德里克森;R.利兰
相关软件: METIS公司;刻痕;帕梅蒂斯…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

阿巴克斯

117篇文献引用(1996–2022)
软件作者: 精灵,马提亚斯;卡斯滕·古特温格;迈克尔·Jünger;乔瓦尼·里纳尔迪
相关软件: CPLEX;MINTO公司;SYMPHONY…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

Gecode公司

85篇文献引用(2007–2023)
软件作者: 克里斯蒂安·舒尔特(Christian Schulte),KTH皇家理工学院
相关软件: 微量锌;CPLEX;Choco…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

彗星

75篇文献引用(2004–2023)
软件作者: 劳伦特·米歇尔(Laurent Michel);看,安德鲁;帕斯卡·范·亨特利克
相关软件: CPLEX;本地化人员;Gecode…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

J平均值

76篇文献引用(2001–2022)
软件作者: 皮埃尔·汉森(Pierre Hansen);内纳德·姆拉德诺维奇
相关软件: UCI毫升;TSPLIB;clusfind…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

TTTPLOTS公司

70篇文献引用(2007–2024)
软件作者: Aiex,Renata M。;莫里西奥·雷森德(Mauricio G.C.Resende)。;塞尔索·C·里贝罗。
相关软件: PERL;GRASP;irace…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

WASP公司

63份文件引用(2014–2023)
软件作者: 阿尔维亚诺,马里奥;多达罗、卡明;沃尔夫冈·费伯(Wolfgang Faber);尼古拉·利昂内(Nicola Leone);弗朗西斯科·里卡
相关软件: 克林戈;卡环;格林戈…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

卡普塞

67篇文献引用(2011–2023)
软件作者: Jean-Patrick Baudry;凯西·毛吉斯(Cathy Maugis);贝特朗·米歇尔
相关软件: R;fda(R);mclust…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

PT-Scotch公司

58篇文献引用(2010–2023)
软件作者: C.骑士;F.佩莱格里尼
相关软件: 帕梅蒂斯;PETSc;梅蒂斯…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

里贾纳

59篇文献引用(2004–2024)
软件作者: B.A.Burton、R.Budney、W.Pettersson等人。
相关软件: SnapPy;SnapPea;GitHub…
主要字段: 组合数学(05-XX);几何(51-XX);凸和离散几何(52-XX)…

电影

53篇文献引用(2008–2022)
软件作者: 库马尔·阿比舍克;斯文·莱弗尔(Sven Leyffer);杰夫·林德拉斯
相关软件: 邦明;Ipopt;SCIP…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

RAxML公司

36篇文献引用(2004–2023)
软件作者: 亚历山德罗斯斯塔马塔基斯;托马斯·路德维希;哈拉尔德·迈耶
相关软件: 贝叶斯先生;野兽;PAUP*…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…

圆形切口

47篇文献引用(1990–2023)
软件作者: 塞缪尔·伯尔;蒙特罗,雷纳托特区。;张茵
相关软件: SDPLR;向外旋转;Biq Mac…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

AOA公司

42篇文献引用(2021–2024)
软件作者: Laith Abualigah;迪亚巴特,阿里;米尔贾利利、塞耶达利;穆罕默德·阿卜德·埃拉齐兹(Abd Elaziz,Mohamed);Amir H.甘多米。
相关软件: GWO;WOA;SSA…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

HAS-质量保证计划

引用于37份文件(1999–2022)
软件作者: 甘巴德拉,L.M。;Taillard,E.D.公司。;M.多里戈。
相关软件: MACS-VRPTW;QAPLIB;禁忌搜索…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

EasyLocal公司++

32篇文献引用(2001–2022)
软件作者: Di Gaspero,L.,Schaerf,A
相关软件: 彗星;本地化人员;禁忌搜索…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

美国公共广播电视公司

38篇文献引用(2003–2014)
软件作者: Aloul,F.A.、Ramani,A.、Markov,I.L.和Sakalah,K.A。
相关软件: 查夫;MiniSat;伯克敏…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

gCol(色谱柱)

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

帕帕普

33篇文献引用(2006–2022)
软件作者: 贝特尔斯,斯特凡;托尔斯滕·法勒
相关软件: VRP;超启发式;XPRESS…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

LSSPER公司

在28份文件中引用(2004–2023)
软件作者: 米雷尔·帕尔潘特;Artigues,基督教;菲利普·米歇隆
相关软件: PSPLIB;分散搜索;进展…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

CABOB公司

在30份文件中引用(2002年至2021年)
软件作者: Sandholm,Tuomas;苏里语、Subhash;安德鲁·吉尔平(Andrew Gilpin);大卫·莱文
相关软件: CPLEX;OR-库;LINDO…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

Mcmt公司

27篇文献引用(2010–2023)
软件作者: 吉拉尔迪·S、兰妮丝·S
相关软件: 小卧室;SMT-LIB;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

BaPCod公司

26篇文献引用(2010–2023)
软件作者: 弗朗索瓦·范德贝克;伊萨姆·塔希里
相关软件: DIP;VRP解决程序;SCIP…
主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

DLV2型

25篇文献引用(2017年至2022年)
软件作者: 阿尔维亚诺,马里奥;弗朗西斯科·卡利默里;多达罗、卡明;福斯科,戴维德;尼古拉·利昂内(Nicola Leone);西蒙娜·佩里(Simona Perri);弗朗西斯科·里卡;皮尔弗朗西斯科·维尔特里;Jessica Zangari
相关软件: 克林戈;WASP;扣…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

AIS-BN公司

21篇文献引用(2000–2018)
软件作者: Cheng,J。;M.J.德鲁兹泽尔。
相关软件: GAJIT;AMIDST;PMTK…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

非机动作战部队

20篇文献引用(2011–2024)
软件作者: 恩里科·舒曼
相关软件: R;nloptr;GenSA…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

火山

6篇文献引用(2000–2018)
软件作者: 格雷夫(G.Graefe)。
相关软件: DB2;潜力;LUBM…
主要字段: 计算机科学(68-XX)

美国心脏协会

20篇文献引用(2022–2024)
软件作者: 赵卫国;王丽英;米尔贾利,塞耶达利
相关软件: WOA;GWO;GSA…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

SCIP-SDP公司

20篇文献引用(2016–2023)
软件作者: Frederic Matter,Marc Pfetsch;特里斯坦·加里、索尼娅·马尔斯、拉尔斯·舍韦
相关软件: SCIP;CPLEX;帕贾里托…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

充分性模型

17篇文献引用(2015年-2023年)
软件作者: 佩德罗·拉斐尔·迪尼兹·马里诺(Pedro Rafael Diniz Marinho)、马塞洛·布尔吉尼翁(Marcelo Bourguignon)、西塞罗·拉菲尔·巴罗斯·迪亚斯(Cicero Rafael Barros Dias)
相关软件: R;maxLik;贝叶斯DA…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)

CF-GGA公司

19份文件引用(2001–2023)
软件作者: Evelyn C.Brown。;罗伯特·T·苏米克拉斯特。
相关软件: 基因组学;野牛;CPLEX…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

MOGWO公司

18篇文献引用(2018–2023)
软件作者: 米尔贾利利,S。;萨雷米,S。;米尔贾利利,S.M。;多斯·科埃略。
相关软件: ALO;穆阿洛;GWO…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

BBMCL公司

17篇文献引用(2014–2022)
软件作者: 巴勃罗圣塞贡多;克里斯托瓦尔·塔皮亚
相关软件: MaxCliqueDyn;BBMCSP;DIMACS…
主要字段: 组合数学(05-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

CCASat卫星

17篇文献引用(2013年-2023年)
软件作者: 蔡少伟;苏凯乐
相关软件: CCLS;CCAnr公司;NuMVC…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);动力系统和遍历理论(37-XX)…

GRASP_质量保证计划

16篇文献引用(1996–2012)
软件作者: 莫里西奥·雷森德(Mauricio G.C.Resende)。;帕诺斯·帕达洛斯(Panos M.Pardalos)。;李勇
相关软件: QAPLIB;算法769;TTTPLOTS…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

HARP(HARP)

15篇文献引用(1990年至2020年)
软件作者: Opacher,F。;翻毛皮,E
相关软件: SETHEO公司;TPTP;3TAP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SAPA公司

14篇文献引用(2002–2022)
软件作者: 做,M。;南卡罗来纳州坎班帕蒂。
相关软件: 图形平面图;PDDL;Walksat…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

最小值2

13份文件引用(2019–2023)
软件作者: 李H
相关软件: 获胜;卡努;SPAdes…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

PGA包

15篇文献引用(1998–2010)
软件作者: 戴维·莱文
相关软件: 马尔巴;ASA;GEATbx…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

新Dsc

15篇文献引用(2016–2023)
软件作者: 亚历山大·科贝尔(Alexander Kobel);Fabrice的Rouillier;迈克尔·萨格洛夫
相关软件: 隔离;集群;仲裁…
主要字段: 组合数学(05-XX);代数几何(14-XX);复变量的函数(30-XX)…

BliStrTune

14篇文献引用(2017年-2023年)
软件作者: Josef Urban的Jan Jakubuv
相关软件: E定理证明器;VAMPIRE公司;BliStr…
主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)

FASoft软件

14篇文献引用(1998–2013)
软件作者: S.Hurley;D.H.Smith;S.U.Thiel公司
相关软件: CALMA公司;最大AO;岩浆…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

Z3str3号机组

13份文件引用(2018–2023)
软件作者: Berzish,M.、Ganesh,V.、Zheng,Y。
相关软件: CVC4;z3;诺恩…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

迪亚斯波拉

14篇文献引用(2000–2009)
软件作者: 玛雅·拉马纳;Jayant R.哈里萨。
相关软件:
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);线性代数和多线性代数;矩阵理论(15-XX)…

GKLEE公司

11份文件引用(2013–2022)
软件作者: Li,G.、Li,P.、Sawaya,G.、Gopalakrishnan,G.、Ghosh,I.、Rajan,S.P。
相关软件: CUDA;GPU验证;OpenCL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MAiNGO组织

14篇文献引用(2019–2023)
软件作者: Bongartz,D.,Najman,J.,Sass,S.,Mitsos,A。
相关软件: libMC;安提戈内;男爵…
主要字段: 变分法与最优控制;优化(49-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

质量控制质量计划

14篇文献引用(2019–2023)
软件作者: J.Park;S.博伊德
相关软件: Ipopt;古罗比;CVX…
主要字段: 算子理论(47-XX);统计学(62-XX);计算机科学(68-XX)…

滑行模拟

14篇文献引用(2019年至2024年)
软件作者: 迪米特里斯·伯西马斯;帕特里克·贾利特(Patrick Jaillet);塞巴斯蒂安·马丁
相关软件: VRP;十亿卢比;L0Learn…
主要字段:

芝诺牌手表

14篇文献引用(2012–2022)
软件作者: William Sonnex;索菲亚·德罗索波卢;苏珊·艾森巴赫
相关软件: HipSpec;SMT-LIB;CVC4…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

变色龙蜂群

13份文件引用(2021–2024)
软件作者: 马利克·谢哈德·布雷克
相关软件: WOA;AOA;GWO…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

HyFlex公司

7份文件引用(2012–2021)
软件作者: 加布里埃拉·奥乔亚;马修·海德(Matthew Hyde);蒂姆·库图瓦;Jose A.Vazquez-Rodriguez。;詹姆斯·沃克(James Walker);米歇尔·根德劳(Michel Gendreau);格雷厄姆·肯德尔(Graham Kendall);巴里·麦科勒姆(Barry McCollum);安德鲁·帕克斯。;佩特罗维奇,萨尼亚;埃德蒙·伯克(Edmund K.Burke)。
相关软件: 超启发式;Hyperion;帕拉米尔斯…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

液化石油气

12份文件引用(2003–2022)
软件作者: 阿方索·盖列维尼(Alfonso E.Gerevini)、亚历山德罗·萨埃蒂(Alessandro Saetti)、伊万·塞里纳(Ivan Serina)、毛罗·瓦拉蒂(Mauro Vallati)
相关软件: 图形平面图;PDDL;Walksat…
主要字段: 计算机科学(68-XX);量子理论(81-XX)

稀疏度

10篇文献引用(2005–2018)
软件作者: EJ Im、K Yelick、R Vuduc
相关软件: 稀疏矩阵;PETSc;MKL…
主要字段:

versat公司

13份文件引用(2012–2022)
软件作者: Oe,Duckki;阿伦·斯塔姆(Aaron Stump);奥利弗·科里;凯文·克兰西
相关软件: Isabelle/HOL;Coq;箔条…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ABsolver公司

10篇文献引用(2006–2018)
软件作者: 安德烈亚斯·鲍尔(Andreas Bauer)、马库斯·皮斯特(Markus Pister)和迈克尔·陶奇尼格(Michael Tautschnig)
相关软件: 海卫卫星;数学SAT;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

DINS公司

11份文件引用(2007–2023)
软件作者: Shubhashis Ghosh
相关软件: MIPLIB公司;FEASPUMP;SCIP…
主要字段: (90C11-XX);(90C59-XX)

FANT(风扇)

11份文件引用(2001年至2015年)
软件作者: E.D.Taillard公司
相关软件: QAPLIB;禁忌搜索;HAS-QAP…
主要字段: 运筹学、数学规划(90-XX)

GOSDT公司

11份文件引用(2021–2024)
软件作者: Jimmy Lin、Chudi Zhong、Diane Hu、Cynthia Rudin、Margo Seltzer
相关软件: UCI毫升;C4.5;MurTree…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

KaHyPar公司

10篇文献引用(2016–2022)
软件作者: 塞巴斯蒂安·施拉格(Sebastian Schlag)、彼得·桑德斯(Peter Sanders)、托比亚斯·豪厄尔(Tobias Heuer)
相关软件: 佐尔坦;稀疏矩阵;PaToH…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

洛克史密斯

10篇文献引用(2008年至2021年)
软件作者: Pratikakis,P.、Foster,J.S.、Hicks,M。
相关软件: 继电器;橡皮擦;地精…
主要字段: 计算机科学(68-XX)

MOAPPS公司

11份文件引用(2001–2019)
软件作者: 巴卡索格鲁,A。
相关软件: 禁忌搜索;林多;LINGO…
主要字段: 数学逻辑与基础(03-XX);运筹学、数学规划(90-XX)

SBSAT卫星

10篇文献引用(2004–2023)
软件作者: 约翰·佛朗哥;米查尔·库里尔;约翰·施利普夫(John Schlipf);杰弗里·沃德;肖恩·韦弗(Sean Weaver);迈克尔·德兰斯菲尔德;W.Mark范弗利特
相关软件: 不可抗力;查夫;伯克敏…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

VHPOP(VHPOP)

10篇文献引用(2003年至2021年)
软件作者: Younes,H.L.S。;R.G.西蒙斯。
相关软件: 图形平面图;PDDL;UCPOP…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

第一

10篇文献引用(2001–2018)
软件作者: 持有,M。
相关软件: Matlab;SegMatch;三角形…
主要字段: 近似和展开(41-XX);凸和离散几何(52-XX);数值分析(65-XX)…

液化石油气+

10篇文献引用(2013–2024)
软件作者: 丹尼尔·阿洛伊斯(Daniel Aloise);Caporossi,Gilles公司;皮埃尔·汉森(Pierre Hansen);利贝蒂(Leo Liberti);Sylvain Perron;曼纽尔·鲁伊斯
相关软件: 越南盾;DIMACS;Pajek数据集…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

聚会

10篇文献引用(2000–2020)
软件作者: R.Preis、R.Diekmann
相关软件: 查科;刻痕;乔斯特尔…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

游猎

8份文件引用(2014年至2020年)
软件作者: Alberti,F.、Bruttomesso,R.、Ghilardi,S.、Ranise,S.和Sharygina,N。
相关软件: Mcmt;z3;助推器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

越南国家数据系统

10篇文献引用(2013–2024)
软件作者: 丹尼尔·阿洛伊斯(Daniel Aloise);Caporossi,Gilles公司;皮埃尔·汉森(Pierre Hansen);利贝蒂(Leo Liberti);Sylvain Perron;曼纽尔·鲁伊斯
相关软件: LPAm+;DIMACS;Pajek数据集…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

AMC公司

7份文件引用(2020–2023)
软件作者: 何一辉、吉林、刘志坚、王汉瑞、李佳丽、宋涵
相关软件: 蟒蛇;ImageNet;亚当…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

VIME(可变利益实体)

8份文件引用(2018–2022)
软件作者: Rein Houthooft、Xi Chen、Yan Duan、John Schulman、Filip De Turck、Pieter Abbeel
相关软件: 亚当;OpenAI健身房;MuJoCo…
主要字段:

c-sat卫星

6篇文献引用(1996–2015)
软件作者: Kei Ohmura;Kazunori上田
相关软件: ManySAT;弯曲;箔条…
主要字段: (68T20-XX)

CCAnr公司

7份文件引用(2015年-2023年)
软件作者: 蔡少伟;罗川;苏凯乐
相关软件: 玲玲;CCASat;弯曲…
主要字段: (68T20-XX)

ConArg2公司

8份文件引用(2014–2022)
软件作者: 比斯塔雷利,S。;罗西,F。;F.桑蒂尼。
相关软件: AFRA;MiniSat;邓金…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

ils-mwis系统

8份文件引用(2018–2021)
软件作者: 布鲁诺·诺盖拉;皮涅罗(Rian G.S.Pinheiro)。;阿南德苏布拉曼尼亚语
相关软件: gpuls-mwcp;CUDA;DIMACS…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

Z3str2型

7份文件引用(2017年-2023年)
软件作者: 郑云辉;维杰·加内什;Subramanian,萨努;特里普,奥马尔;墨菲·贝尔齐什;朱利安·杜比(Julian Dolby);张湘玉
相关软件: 汉普;Z3str3;CVC4…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

AltAlt键

6篇文献引用(2002–2009)
软件作者: 罗密奥·桑切斯·奈根达(Romeo Sanchez Nigenda)、玄龙阮(XuanLong Nguyen)、苏巴拉奥·坎巴帕蒂(Subbarao Kambhampati)
相关软件: STAN;图形平面图;SAPA…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

BLITZ公司

7份文件引用(2017–2021)
软件作者: T.B.约翰逊;C.嘉宾
相关软件: LIBLINEAR;glmnet;赛勒…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

GFET公司

7份文件引用(2020–2023)
软件作者: 乔瓦尼·纳斯塔西;维托里奥·罗曼诺
相关软件: 纳米TCAD ViDES
主要字段: (82M10-XX);(65M60-XX);(65M06-XX)…

最小二乘法

7份文件引用(2019–2021)
软件作者: 玛丽卢·加布里(Marylou Gabrié)、安德烈·马诺埃尔(Andre Manoel)、克莱门特·卢诺(Clément Luneau)、让·巴比尔(Jean Barbier)、尼古拉斯·马克里斯(Nicolas Macris)、弗洛伦特·科扎卡拉(Florent Krzaka
相关软件: dnner;委员会机器;AlexNet…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

MapleCOMSPS公司

7份文件引用(2020–2021)
软件作者: Liang,J.H.,Oh,C.,Ganesh,V.,Czarnecki,K.,Poupart,P。
相关软件: YalSAT;玲玲;Treengeling…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

摩尔根

6篇文献引用(2020–2021)
软件作者: 尼古拉·德曹(Nicola De Cao)、托马斯·基普夫(Thomas Kipf)
相关软件: DeepWalk;node2vec;NetGAN…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

多孔

7份文件引用(1998年至2016年)
软件作者: Kochhar,J.S。;S.S.赫拉古。
相关软件: QAPLIB公司
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

佩拉科塔

5份文件引用(2008年至2021年)
软件作者: Yang,J.、Evans,D.、Bhardwaj,D.、Phat,T.、Das,M。
相关软件: SMArTIC;公关经理;德克萨斯州…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SimDVS公司

6篇文献引用(2003年至2018年)
软件作者: 申东坤;Kim,Woonseok;Jeon、Jaekwon;Kim,Jihong;Min、Sang Lyul
相关软件: 镜子
主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);系统论;控制(93-XX)

超级矩阵

5份文件引用(2009–2022)
软件作者: Ernie Chan、Field G.Van Zee、Paolo Bientinesi、Enrique S.Quintana Orti、Gregorio Quintana Orti、Robert Van de Geijn
相关软件: ScaLAPACK;LAPACK;BLAS…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)

V-MDAV型

5份文件引用(2008–2022)
软件作者: A.索拉纳斯、A.马丁内斯·巴列斯特、J.多明戈·费勒。
相关软件: 阿格斯;sdcMicro;TFRP…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

自动变速器2

6篇文献引用(2016–2019)
软件作者: 詹博华
相关软件: Isabelle/HOL;伊莎贝尔;米扎尔…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…

卡通绘制

4份文件引用(2005–2018)
软件作者: Keim,D.A.,North,南卡罗来纳州,Panse,南卡罗来纳州。
相关软件: ABF++;SAS;MANET…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

国会预算办公室

6篇文献引用(2015年-2023年)
软件作者: Kaveh,A。;马哈达维,V.R。
相关软件: GSA;蜂蜜獾算法;SSA…
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);变形固体力学(74-XX)…

ConTest公司

5份文件引用(2003年至2018年)
软件作者: 奥里特·埃德尔斯坦(Orit Edelstein);埃坦·法奇;戈丁,叶夫根尼;尼尔、雅顿;吉尔·拉特萨比;乌尔,什穆埃尔
相关软件: veriSoft;橡皮擦;Java PathFinder…
主要字段: 计算机科学(68-XX)

DSJM公司

6篇文献引用(2013–2018)
软件作者: Hasan,M.,Hossain,S.,Steihaug,T。
相关软件: ColPack;ADOL-C;Harwell-Being稀疏矩阵集合…
主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

DupTree(重复数据树)

5份文件引用(2010–2021)
软件作者: 安德烈·韦(AndréWehe);Mukul S.Bansal;J.Gordon Burleigh;奥利弗·尤伦斯坦
相关软件: ASTRID公司;MulRF;PhyloNet…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

GAHC公司

5份文件引用(2009–2013)
软件作者: 拉多米尔·马图塞克
相关软件: HC12;Simulink;MersenneTwister…
主要字段: 动力系统与遍历理论(37-XX);统计学(62-XX);计算机科学(68-XX)…

筛选结果依据…

全部的 前5名

相关软件