×

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

FEASPUMP公司

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

迷你锌

130篇文献引用(2008–2024)
软件作者: 吉多·塔克(Guido Tack),NICTA/莫纳什大学(与塞巴斯蒂安·布兰德(Sebastian Brand)、马克·布朗(Mark Brown)、蒂鲍特·费迪(Thibaut Feydy)、朱利安·菲舍尔(Julien Fischer)、玛丽亚·加西亚·德拉班达(Maria Garcia de la Banda)、
相关软件: Gecode公司;CPLEX;CHUFFED…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

ILOG时间表

87份文件引用(1996–2023)
软件作者: C·勒帕佩
相关软件: CPLEX;炸薯条;JOBSHOP…
主要字段: 历史与传记(01-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

彗星

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

序言

58篇文献引用(1984–2022)
软件作者: 丹尼尔·迪亚兹
相关软件: SICStus公司;炸薯条;SWI-预测…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

Quaffle餐厅

64篇文献引用(2003–2023)
软件作者: L.Zhang;S.Malik;普林斯顿大学SAT研究小组;Yinlei余
相关软件: 糠;DepQBF;QUBOS…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

乔科

引用于62份文件(2001–2022)
软件作者: Choco团队:http://www.emn.fr/z-info/choco-solver/index.php?page=团队
相关软件: Gecode公司;CPLEX;克莱尔…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

TSPTW公司

43篇文献引用(2001–2023)
软件作者: 菲利波·福卡奇;安德烈亚·洛迪;米歇拉·米兰
相关软件: LKH;VRP;TSPLIB…
主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…

OR工具

37篇文献引用(2013–2023)
软件作者: 谷歌;Perron,L.公司。;弗农,V。
相关软件: CPLEX;古罗比;迷你锌…
主要字段: 几何(51-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

OPL公司

39篇文献引用(2000–2023)
软件作者: 范·亨特利克(Van Hentenryck),帕斯卡(Pascal);劳伦·佩伦(Laurent Perron);Jean-Francois,普吉
相关软件: CPLEX;AMPL;芯片…
主要字段: 历史与传记(01-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

帕帕普

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

LSSPER公司

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

快速拉伸

31份文件引用(2008–2022)
软件作者: 美国容克。
相关软件: MiniSat;PicoSAT;葡萄糖…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

抄送Pi

28篇文献引用(2007–2022)
软件作者: 玛丽亚·格拉齐亚·巴斯米(Maria Grazia Buscemi),乌戈·蒙塔纳里(Ugo Montanari)
相关软件: 奶牛;Isabelle/HOL;名义上的伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

SALSA公司

30篇文献引用(2000–2017)
软件作者: 弗朗索瓦·拉伯特;伊夫·卡索
相关软件: 彗星;本地化人员;Oz…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

28篇文献引用(2005–2022)
软件作者: Kim万豪酒店;尼赫科特,尼古拉斯;雷扎·拉斐;Peter J.Stuckey。;玛丽亚·加西亚·德拉·班达;马克·华莱士
相关软件: 本质;微量锌;Gecode…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…

本质

27篇文献引用(2008–2023)
软件作者: 艾伦·弗里希。;沃里克·哈维;克里斯·杰斐逊(Chris Jefferson);马丁内斯·埃尔南德斯(Martínez-Hernández),伯纳黛特(Bernadette);伊恩·米格尔
相关软件: 微量锌;锌;ESRA…
主要字段: 结合环与代数(16-XX);计算机科学(68-XX);量子理论(81-XX)…

图尔巴尔2

27篇文献引用(2007–2023)
软件作者: 托马斯·希克斯;西蒙·德·吉夫里(Simon de Givry);大卫·阿洛奇
相关软件: mplp2;数字插孔;MaxHS…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

日本石油公司

16篇文献引用(2007–2023)
软件作者: Krzysztof Kuchcinski;Radoslaw Szymanek公司
相关软件: Gecode公司;微量锌;Choco…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

莫扎特

15篇文献引用(1999–2018)
软件作者: 彼得·范罗伊;塞夫·哈里迪
相关软件: 奥兹;CPLEX;芯片…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

局部解算器

18篇文献引用(2010–2023)
软件作者: 蒂埃里·贝诺伊斯特(Thierry Benoist);伯特兰·埃斯特隆;弗雷德里克·加迪;罗曼·梅格尔(Romain Megel);卡里姆·努伊奥瓦
相关软件: 彗星;CPLEX;SCIP…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

奥斯卡

17篇文献引用(2014年-2023年)
软件作者: OscaR团队
相关软件: Gecode公司;彗星;OR-tools…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

CPGraph(CPGraph)

16篇文献引用(2005–2022)
软件作者: Deville,Y.、Dooms,G.、Zampelli,S.、Dupont,P。
相关软件: 红衣主教;Gecode公司;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

国际博协

16篇文献引用(2005–2021)
软件作者: Y.利巴。
相关软件: 男爵;数字;椰子…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子和系统力学(70-XX)…

ezcsp公司

13份文件引用(2009–2022)
软件作者: 马尔切洛·巴尔杜奇尼(Marcello Balduccini);尤利亚·利勒
相关软件: 克林孔;克林戈;ASP…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

木槿

12份文件引用(2005–2021)
软件作者: Bourdais,S.、Galinier,P.、Pesant,G。
相关软件: CPLEX;古罗比;超启发式…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

ESRA公司

11份文件引用(2004–2022)
软件作者: 皮埃尔·弗莱纳(Pierre Flener);贾斯汀·皮尔逊(Justin Pearson);奥格伦,马格纳斯
相关软件: 本质;锌;NP-SPEC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SIMPL公司

12份文件引用(2004–2022)
软件作者: 伊奥努·阿隆;约翰·胡克(John N.Hooker)。;Yunes,Tallys H。
相关软件: SCIP;SCIL;MIPLIB…
主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

洛伊

9份文件引用(2002–2021)
软件作者: J.Siekmann、S.Hess、C.Benzmüller、L.Cheikhrouhou、A.Fiedler、H.Horacek、M.Kohlhase、K.Konrad、A.Meier、E.Melis、M.Pollet、V.Sorge
相关软件: TPTP;Coq;PVS…
主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);计算机科学(68-XX)

SCIL公司

10篇文献引用(2002–2022)
软件作者: 恩斯特·奥尔特豪斯(Ernst Althaus);亚历山大·博克迈尔(Alexander Bockmayr);精灵,马提亚斯;迈克尔·Jünger;托马斯·卡斯珀(Thomas Kasper);库尔特·梅尔霍恩
相关软件: SCIP;MIPLIB;SIMPL…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

PSICO公司

9份文件引用(2002–2017)
软件作者: 路德维希·克里帕尔;佩德罗·巴拉奥纳
相关软件: 椰子;全球实验室;BARON…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

STR2型

10篇文献引用(2011年至2018年)
软件作者: 克里斯托夫·勒库特
相关软件: 微量锌;糠;混凝土…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

扁平锌

9份文件引用(2010–2020)
软件作者: Guido Tack、Sebastian Brand、Mark Brown、Thibaut Feydy、Julien Fischer、Maria Garcia de la Banda、Peter Stuckey、Mark Wallace
相关软件: 微量锌;Gecode公司;SCIP…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

LMN总计

引用于8份文件(2005–2013)
软件作者: Kazunori上田
相关软件: GHC;贾纳斯;CC-Pi…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

MCS公司

9份文件引用(1997–2017)
软件作者: Le Huédé,F。;格拉比施,M。;拉布雷切,C。;萨文特,P。
相关软件: FIRBS;超启发式;M-MACBETH…
主要字段: 测量和集成(28-XX);统计学(62-XX);运筹学,数学规划(90-XX)…

数字插孔

7份文件引用(2013–2018)
软件作者: 巴里·奥沙利文;Eoin O'Mahony;伊曼纽尔·希伯拉德
相关软件: 微量锌;ToulBar2;桑尼…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

ConArg2公司

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

DiSCiPl公司

7份文件引用(2007–2016)
软件作者: ——
相关软件: 彗星;Oz Explorer;VIFID/TRIFID…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

JSetL公司

4份文件引用(2009–2021)
软件作者: 安德烈亚·福斯(Andrea Fois)、吉安弗兰科·罗西(Gianfranco Rossi)、伊丽莎白·波罗(Elisabetta Poleo)等
相关软件: Z;刚毛;ProB…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

sunny-cp公司

引用于8份文件(2015–2023)
软件作者: 罗伯特·阿马迪尼、毛里齐奥·加布里埃利、雅各布·毛罗
相关软件: 萨齐拉;微量锌;桑尼…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

累积mm

7份文件引用(2016–2022)
软件作者: 亚历山大·施内尔(Alexander Schnell);理查德·哈特尔(Richard F.Hartl)。
相关软件: gpremeencemm;PSPLIB;npuScheduler…
主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

gpremeencemm公司

7份文件引用(2016–2022)
软件作者: 亚历山大·施内尔(Alexander Schnell);理查德·哈特尔(Richard F.Hartl)。
相关软件: 累积mm;PSPLIB;npuScheduler…
主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

贾纳斯

5份文件引用(1994–2018)
软件作者: 萨拉斯瓦特,V.A。;Kahn,K。;J.利维。
相关软件: GHC;LMN塔尔;琳达…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

BACP公司

4份文件引用(2005–2014)
软件作者: 托尼·兰伯特(Tony Lambert);卡洛斯·卡斯特罗;埃里克·蒙弗罗伊(Eric Monfroy);里夫,玛丽亚·克里斯蒂娜;沙特,弗雷德里克
相关软件: CSPLib;EasyLocal公司++
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

CoQuiAAS公司

6篇文献引用(2017–2021)
软件作者: Lagniez,J.M。;Lonca,E。;J.G.梅利。
相关软件: MiniSat;葡萄糖;钻石…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CPBPV公司

4份文件引用(2010–2023)
软件作者: 赫莱内·科拉维扎;米歇尔·鲁赫(Michel Rueher);帕斯卡·范·亨特利克
相关软件: TCAS;CBMC;VIPR…
主要字段: 计算机科学(68-XX)

牛顿

5份文件引用(1997–2013)
软件作者: 范·亨特利克(Van Hentenryck),帕斯卡(Pascal);米歇尔·洛朗;F.本哈莫。
相关软件: 太阳神;PASCAL-XSC;COMET…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

URSA公司

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

完全不同

4份文件引用(2011–2022)
软件作者: Christian Bessiere、Nina Narodytska、Claude Guy Quimper、Toby Walsh
相关软件: 乔科;算法457;ptsplib…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

微型CP

5份文件引用(2021–2023)
软件作者: 米歇尔,L。;Schaus,P。;Van Hentenryck,P。
相关软件: 奥斯卡;乔科;芯片…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

Oz探险家

4份文件引用(2009–2018)
软件作者: C.舒尔特。
相关软件: 奥兹;炸薯条;DiSCiPl…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

规则2CP

引用于2份文件(2009–2011)
软件作者: 弗朗索瓦·法赫斯,朱利安·马丁
相关软件: 自旋蛋白;ntccSim;Ntccrt…
主要字段: 计算机科学(68-XX)

TCAS公司

引用于2份文件(2012–2017)
软件作者: A.哥特利布。
相关软件: z3;SMT-LIB;迷你卫星…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

UML到CSP

3份文件引用(2014–2015)
软件作者: J.Cabot;R.Clariso;D.瑞拉
相关软件: HOL-OCL;合金;UML2合金…
主要字段: 计算机科学(68-XX)

壁龛

4份文件引用(2018–2021)
软件作者: 卡洛斯·奥拉特;伊莱恩·皮门特尔(Elaine Pimentel);卡米洛·鲁埃达
相关软件: 奎珀;混合的;Coq…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

最大值

3份文件引用(2014–2021)
软件作者: Fages,Jean Guillaume;Tanguy Lapègue
相关软件: ToulBar2;AllDifferent;Choco…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

法西乐

3份文件引用(2005–2009)
软件作者: 巴尼尔,N.,布里塞特,P。
相关软件: 乔科;ProB;Gecode…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

fzn2毫米

4份文件引用(2012–2017)
软件作者: 博菲尔(Bofill,M.)、帕拉西(Palahí)、苏伊(Suy,J.)、维拉雷特(Villaret,M。
相关软件: 微量锌;Gecode公司;SCIP…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

采矿锌

4份文件引用(2017–2019)
软件作者: 枪支,蒂亚斯;安东·德里斯(Anton Dries);齐格弗里德·尼杰森;塔克,吉多;吕克·德·雷德
相关软件: Gecode公司;本质;迷你锌…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

SeaPearl公司

4份文件引用(2021–2023)
软件作者: 费利克斯Chalumeau;伊兰·库隆;瓶盖,昆廷;卢梭,路易斯·马汀
相关软件: NeuroSAT;AlphaGo;亚当…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

工具

4份文件引用(2005–2006)
软件作者: de Givry S.、Jeannin L。
相关软件: OPL;SALSA;建模器…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

阿尔罗斯

3份文件引用(2017–2022)
软件作者: 穆斯塔法,Mısır;米歇尔·塞巴格
相关软件: 帕拉米尔斯;萨齐拉;GNU并行…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

格拉斯哥子图解算器

3份文件引用(2020–2023)
软件作者: Ciaran McCreesh;Patrick Prosser;詹姆斯·特里姆布尔
相关软件: 地下;沙丁鱼;工艺…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

iZplus公司

3份文件引用(2015–2017)
软件作者: 藤原俊美
相关软件: 微量锌;米斯特拉尔;CAMA…
主要字段: 计算机科学(68-XX)

倍频程间隔

3份文件引用(2018–2023)
软件作者: 奥利弗·海姆利希
相关软件: 国际实验室;摩尔;ValidatedNumerics.jl…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)

PortLib(端口库)

3份文件引用(2020–2023)
软件作者: 萨克拉门托,大卫;克莉丝汀·索尔农;大卫·皮辛格
相关软件: ILOG时间表;赛马拉松
主要字段: 运筹学,数学编程(90-XX)

圣甲虫

引用于2份文件(2014)
软件作者: Soh、Takehide;田村直之;穆苏诺里·班巴拉
相关软件: 周六4j;GRAPPA;Lynx…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

用户

引用于2份文件(2010年至2015年)
软件作者: 何塞·桑托斯;斯蒂芬·马格尔顿
相关软件: 阿列夫;ProGolem公司
主要字段: 计算机科学(68-XX)

汤姆西姆

3份文件引用(1999–2018)
软件作者: Tomlab Optimization公司。;佩·鲁特奎斯特(Per Rutquist);马库斯·埃德瓦尔
相关软件: PROPT;TOMLAB公司;SOCS…
主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);运筹学,数学规划(90-XX)…

更大的

引用于2份文件(2005–2008)
软件作者: 路德维希·克里帕尔;佩德罗·巴拉霍纳
相关软件: PSICO;奇美拉;生物炭…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

CLab公司

1份文件引用(2016)
软件作者: 鲁恩·延森
相关软件: ——
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX)

Codac公司

引用于2份文件(2021–2022)
软件作者: 西蒙·罗霍(Simon Rohou);德罗切斯,贝诺特
相关软件: 戴恩拜克斯;痤疮;JuliaReach…
主要字段: 系统论;控制(93-XX)

DICE标准

引用于2份文件(2003–2004)
软件作者: Peter Zoeteweij
相关软件: ——
主要字段: 计算机科学(68-XX)

龙息(DragonBreath)

引用于2份文件(2004–2005)
软件作者: A.纳雷耶克。
相关软件: 彗星;本地化人员;CPLEX…
主要字段: 计算机科学(68-XX)

菲加罗

引用于2份文件(1999–2001)
软件作者: 马丁·亨茨(Martin Henz);缪勒,托拜厄斯;布恩,Ng Ka
相关软件: 奥兹;炸薯条;STL…
主要字段: 计算机科学(68-XX)

POOC公司

引用于2份文件(2003–2005)
软件作者: 汉斯·施伦克;乔治·林格威尔斯基
相关软件: 爆炸;Java PathFinder;罗斯特拉…
主要字段: 计算机科学(68-XX)

Tubex公司

1份文件引用(2021)
软件作者: S.Rohou等人。
相关软件: pyIbex;github;间隔算术.jl…
主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);系统论;控制(93-XX)

VeriFly公司

引用于2份文件(2021–2022)
软件作者: 桑切斯·奥尔达兹,米格尔·A。;伊莎贝尔·加西亚·孔特雷拉斯(Isabel Garcia-Contreras);维克托·佩雷斯(Victor Perez);JoséF.Morales。;佩德罗·洛佩兹·加西亚;曼努埃尔五世(Manuel V.Hermenegildo)。
相关软件: 汞;CiaoPP;再见…
主要字段: 计算机科学(68-XX)

AmPharoS公司

在0个文档中引用
软件作者: Gilles Audemard;Jean-Marie Lagniez;尼古拉斯·斯泽潘斯基(Nicolas Szczepanski);塞巴斯蒂安·塔巴里
相关软件: 斯普拉茨;MapleAmpharos公司;糖浆…
主要字段: 计算机科学(68-XX)

科普利斯

在0个文档中引用
软件作者: 田村直之(Naoyuki Tamura)
相关软件: OscaR;金龟子;周六…
主要字段: 计算机科学(68-XX)

CP4CAP公司

1份文件引用(2017)
软件作者: Houndji,V.R.,Schaus,P。
相关软件: 奥斯卡
主要字段: 计算机科学(68-XX)

J.CP公司

1份文件引用(2002)
软件作者: 乔治·林格威尔斯基
相关软件: ——
主要字段: 计算机科学(68-XX)

最大RPWC+

1份文件引用(2016)
软件作者: 帕帕里佐,安娜斯塔西娅;科斯塔斯·斯特乔
相关软件: STR2型
主要字段: 运筹学,数学编程(90-XX)

建模者

1份文件引用(2005)
软件作者: 米歇尔·洛朗;帕斯卡·范·亨特利克
相关软件: 工具;OPL;本地化程序++…
主要字段: 计算机科学(68-XX)

多CAD

1份文件引用(2002)
软件作者: 瓦西拉斯,尼古拉斯;乔治·米奥利斯(George Miaoulis);克鲁诺普洛斯(Chronopoulos)、狄奥尼西奥斯(Dionysios);Elias Konstantinidis;伊奥安娜·拉瓦尼;迪米特里奥斯·马克里斯(Dimitrios Makris);迪米特里·普莱梅诺斯
相关软件: ——
主要字段: 计算机科学(68-XX)

NeMo公司+

1份文件引用(2017)
软件作者: Shvetsov,I.、Telerman,V.、Ushakov,D。
相关软件: InC++;JGloptLab;进入PT_90…
主要字段: 数值分析(65-XX)

ntccSim公司

在0个文档中引用
软件作者: AVISPA研究小组
相关软件: 自旋蛋白;Ntccrt;规则2CP…
主要字段: ——

稳定TBN

1份文件引用(2021)
软件作者: 戴维·哈雷(David Haley);大卫·多蒂
相关软件: 4ti2;OR-tools;z3…
主要字段: 计算机科学(68-XX)

ZDC公司

1份文件引用(2007)
软件作者: 曾荫权;约翰·福特;帕特里克·米尔斯(Patrick Mills);理查德·布拉德威尔(Richard Bradwell);理查德·威廉姆斯;保罗·斯科特
相关软件: DiSCiPl;木槿;Excel…
主要字段: 运筹学,数学编程(90-XX)

ZIB优化套件

1份文件引用(2011)
软件作者: 柏林祖色学院
相关软件: CPLEX;SCIP公司
主要字段: 运筹学,数学编程(90-XX)

RNAi折叠2T

在0个文档中引用
软件作者: 胡安·安东尼奥·加西亚-马汀(Juan Antonio Garcia-Martin)、伊万·多图(Ivan Dotu)、哈维尔·费尔南德斯·卡莫罗(Javier Fernandez-Chamorro)、格洛丽亚·洛扎诺(Gloria Lozano)、豪尔赫·拉马乔(Jorge Ramajo)、恩卡纳西奥·马丁内斯·萨拉斯
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件