×

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

麦克利埃塞

355篇文献引用(1981–2024)
软件作者: 斯特凡·海斯;阿米尔·莫拉迪;克里斯托夫·帕尔
相关软件: 自行车;岩浆;NTRU…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

抓握

143篇文献引用(1996–2024)
软件作者: Paola Festa;莫里西奥·雷森德(Mauricio G.C.Resende)。;帕诺斯·帕达洛斯(Panos M.Pardalos)。;李勇
相关软件: 禁忌搜索;PERL;TTTPLOTS…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

CABOB公司

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

PySAT公司

26篇文献引用(2018–2023)
软件作者: 阿列克谢·伊格纳提耶夫(Alexey Ignatiev);安东尼奥·莫尔加多;马奎斯·席尔瓦,若昂
相关软件: MiniSat;葡萄糖;GitHub…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);概率论与随机过程(60-XX)…

PrecoSAT公司

22篇文献引用(2010–2022)
软件作者: 比尔,A
相关软件: 弯曲;MiniSat;玲玲…
主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…

Zchaff2004型

16篇文献引用(2005–2016)
软件作者: Yogesh S.Mahajan。;傅朝辉;沙拉德·马利克
相关软件: MiniSat;糠;伯克敏…
主要字段: 数学逻辑与基础(03-XX);几何(51-XX);凸和离散几何(52-XX)…

GRASP_质量保证计划

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

MicroEliece公司

10篇文献引用(2008–2021)
软件作者: 托马斯·艾森巴特;Güneysu,Tim作者简介;斯特凡·海斯;克里斯托夫·帕尔
相关软件: 麦克利埃塞;PQClean;Kyber…
主要字段: 交换代数(13-XX);代数几何(14-XX);计算机科学(68-XX)…

聚会

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

Fg指数

6篇文献引用(2011–2016)
软件作者: J.Cheng、Y.Ke、W.Ng、A.Lu
相关软件: GADDI;TALE公司;NeMa…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

FES公司

5份文件引用(2012–2023)
软件作者: E.Ozcan和E.Ersoy
相关软件: 超启发式;SPOT;json2run…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

卡通绘制

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

LIPSAT公司

6篇文献引用(2018–2021)
软件作者: 马塞洛·芬格;桑德罗·普雷托
相关软件: MiniSat;玲玲;Yices…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);测量和集成(28-XX)…

URSA公司

6篇文献引用(2012–2022)
软件作者: 贾尼奇,P。
相关软件: z3;卡环;MiniSat…
主要字段: 几何(51-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

GenPSAT公司

4份文件引用(2017–2020)
软件作者: 卡洛斯·卡莱罗;卡萨尔、菲利佩;安德烈亚·莫迪多
相关软件: 古罗比;角砾岩;博客…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…

NLocalSAT(非本地卫星)

3份文件引用(2021–2023)
软件作者: 张文杰、孙泽瑜、朱启浩、葛丽、蔡少伟、熊英飞、张璐
相关软件: CCAnr;YalSAT;玲玲…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

S集群++

3份文件引用(2019–2021)
软件作者: Yan,H.、Gunawan,A.D.、Zhang,L。
相关软件: tcp_包;MURPAR公司;跨骑…
主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);计算机科学(68-XX)…

FourierSAT公司

2份文件引用(2021)
软件作者: Kyrillidis、Anastasios;Shrivastava,Anshumali;Vardi,Moshe Y。;张志伟
相关软件: MiniSat;玲玲;弯曲…
主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)

低压汽水分离再热器

2份文件引用(2003–2004)
软件作者: 文,吴绍;比斯瓦纳特·穆克吉;Chan,S.-H.Gary;迪帕克·戈萨
相关软件: ——
主要字段: 计算机科学(68-XX)

Mmunin公司

2份文件引用(2021–2023)
软件作者: 克里格,斯宾塞;约翰·凯塞西奥格鲁
相关软件: 胡金;反应途径
主要字段: 组合数学(05-XX);生物学和其他自然科学(92-XX)

PERMGEN公司

2份文件引用(2016–2020)
软件作者: 达尼洛维奇,米洛斯;奥利弗·伊利奇
相关软件: ——
主要字段: 运筹学、数学规划(90-XX)

vf3库

2份文件引用(2020–2021)
软件作者: V.Carletti、P.Foggia、A.Saggese、M.Vento。
相关软件: 促进;GADDI;Gunrock…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

DTL-RnB公司

1份文件引用(2021)
软件作者: 马伟(Ma,W.)。;斯米尔诺夫,D。;福尔曼,J。;Schweickart,A。;斯洛克姆,C。;Srinivasan,S。;Libeskind-Hadas,R。
相关软件: ——
主要字段: 组合数学(05-XX);生物学和其他自然科学(92-XX)

骑士和骑士

1份文件引用(2021)
软件作者: 保罗·塔巴塔拜;迪特尔·格鲁伯。
相关软件: github;组织环境信息系统;COIN-OR…
主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);计算机科学(68-XX)…

打结探测仪

1份文件引用(2011)
软件作者: Jana Sperschneider;阿米塔瓦·达塔
相关软件: PathBLAST;毛夫;Cell Illustrator…
主要字段: 总体主题;藏品(00-XX);生物学和其他自然科学(92-XX)

MPLMR公司

1份文件引用(2012)
软件作者: Shin,Dong-won;Edwin K.P.Chong。;霍华德·杰伊·西格尔
相关软件: ——
主要字段: 运筹学、数学规划(90-XX)

MuRoCo公司

1份文件引用(2012)
软件作者: 弗洛里安·罗赫姆·乌勒;德克·沃尔希尔;马丁·巴斯
相关软件: 开花IV
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

PAxML公司

1份文件引用(2003)
软件作者: 亚历山大·斯塔马塔基斯(Alexandros P.Stamatakis)。;托马斯·路德维希;哈拉尔德·迈耶
相关软件: fastDNAml(快速DNAml)
主要字段: 计算机科学(68-XX)

PMORSy公司

1份文件引用(2017)
软件作者: 安娜·皮洛娃(Anna Pirova);伊奥西夫·梅耶洛夫(Iosif Meyerov);科兹诺夫,叶夫根尼;谢尔盖·列别捷夫
相关软件: MORSy公司;PT-Scotch;帕梅蒂斯…
主要字段: 数值分析(65-XX)

筛选结果依据…

全部的 前5名

相关软件