×

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

鼻涕

软件作者:吉尔,菲利普E。;默里,沃尔特;桑德斯,迈克尔A。
参考文献: 547份出版物(1997-2022年)
相关软件: Ipopt公司;克尼特罗;兰斯洛特;振幅;米诺斯;更可爱…
主要领域: 变分法与最优控制;优化(49-XX);数值分析(65-XX);可变形固体力学(74-XX)

男爵

软件作者:萨希尼迪斯,尼古拉斯诉。
参考文献: 369种出版物(1996-2023年)
相关软件: 伽马;CPLEX公司;SCIP;安提戈涅;林多;伊波特…
主要领域: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

NLPQL公司

软件作者:希特科夫斯基
参考文献: 133种出版物(1986-2022)
相关软件: 汽蚀余量;NLPQLP;术语;林多;鼻涕;QL…
主要领域: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)

扣环

软件作者:马丁·格布瑟、本杰明·考夫曼、安德烈·诺依曼、托尔斯滕·朔博
参考文献: 96种出版物(2007-2021)
相关软件: 外国佬;保鲜膜;黄蜂;迷你卫星;阿萨德;伊克林戈…
主要领域: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

炸薯条

软件作者:丁卡斯,M。;西蒙尼斯。;范亨特纳克,P。
参考文献: 76种出版物(1989-2020)
相关软件: 盎司;CPLEX公司;ILOG时间表;PSPLIB;OPL;微量锌…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

ILOG计划

软件作者:勒帕普,C
参考文献: 74种出版物(1996-2022)
相关软件: CPLEX公司;车间;炸薯条;禁忌搜索;CP优化器;PSPLIB…
主要领域: 历史与传记(01-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

彗星

软件作者:米歇尔,劳伦特;看,安德鲁;范亨特莱克,帕斯卡
参考文献: 75种出版物(2004-2021年)
相关软件: CPLEX公司;航向信标;通用电气代码;萨尔萨;CSPLib;SCIP…
主要领域: 历史与传记(01-XX);数理逻辑与基础(03-XX);组合数学(05-XX)

序言

软件作者:丹尼尔·迪亚兹
参考文献: 56种出版物(1984-2020)
相关软件: 西斯库斯;炸薯条;二层;SWI序言;XSB公司;wamcc…
主要领域: 数理逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)

简单的

软件作者:阿兰,拉科塔莫尼;巴赫,弗朗西斯·R。;卡努,圣潘;外婆,伊夫
参考文献: 64种出版物(2008-2021)
相关软件: 幕府;LIBSVM;UCI毫升;穗状花序;筛选;莫塞克…
主要领域: 功能分析(46-XX);统计学(62-XX);计算机科学(68-XX)

CFSQP公司

软件作者:劳伦斯,C。;J、 周;A、 山雀
参考文献: 57种出版物(1996-2020)
相关软件: 鼻涕;CONOPT公司;禁忌搜索;基诺科普;轮廓/偏差;语调90…
主要领域: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

玩具

软件作者:F。J、 López Fraguas,J.Sánchez Hernández
参考文献: 56种出版物(2001-2022)
相关软件: 巴别塔;帕克斯;哈斯克尔;咖喱;子叶;莫德…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

黄蜂

软件作者:阿尔维亚诺,马里奥;多达罗,胭脂红;费伯,沃尔夫冈;利昂,尼古拉;里卡,弗朗西斯科
参考文献: 54种出版物(2014-2022)
相关软件: 保鲜膜;卡扣;外国佬;DLV2;DLV公司;Cmodels…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

仆从

软件作者:杰斐逊,C.,科特霍夫,L.,摩尔,N.,南丁格尔,P.,佩特里,K.E.,伦德尔,A。
参考文献: 51种出版物(2005-2022年)
相关软件: 差距;OEIS;通用电气代码;糠;CSPLib;巧克力…
主要领域: 组合数学(05-XX);结合环与代数(16-XX);群论与概化(20-XX)

RSVM

软件作者:Yuh Jye Lee,Olvi L.Mangasarian公司
参考文献: 50种出版物(2004-2019)
相关软件: UCI毫升;LIBSVM;Matlab语言;SSVM;TPMSVM;斯维多奇…
主要领域: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)

摊铺机

软件作者:劳伦特·格兰维利尔斯
参考文献: 51种出版物(2003-2017)
相关软件: 数字;语调90;监狱;ICOS;德雷尔;RSOLVER…
主要领域: 数理逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

数字

软件作者:范亨特莱克,P.,德维尔,Y.,米歇尔,L。
参考文献: 46种出版物(1998-2020)
相关软件: 语调90;摊铺机;男爵;球溶胶;椰子;iBexpot…
主要领域: 数值分析(65-XX);计算机科学(68-XX);粒子与系统力学(70-XX)

保鲜膜

软件作者:马丁·格布瑟;马克斯·奥斯特罗夫斯基;托尔斯滕·肖布
参考文献: 39种出版物(2009-2022)
相关软件: 保鲜膜;卡扣;外国佬;黄蜂;ezcsp公司;钾肥公司…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

楔子

软件作者:马拉齐,马塞洛;Nocedal,豪尔赫
参考文献: 40种出版物(2001-2021)
相关软件: DFO公司;UOBYQA公司;纽沃阿;钴基2;波比卡;凯利…
主要领域: 统计学(62-XX);数值分析(65-XX);流体力学(76-XX)

TSPTW公司

软件作者:福克奇,菲利波;洛迪,安德里亚;米拉诺,米歇拉
参考文献: 39种出版物(2001-2022)
相关软件: 车道;VRP;TSPLIB公司;ILOG时间表;SCIL;SCIP…
主要领域: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

QSDPNAL公司

软件作者:李X.D.,Sun,D.F.,Toh。K、 -C。
参考文献: 33种出版物(2016-2022)
相关软件: SDPNAL+;QSDP;古罗比;CPLEX公司;Matlab语言;LIBSVM…
主要领域: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)

普韦布洛

软件作者:希尼,侯赛因M。;萨卡拉,卡雷姆A。
参考文献: 33种出版物(1998-2021)
相关软件: 迷你卫星;糠;卫星4J;公共广播系统;皮科萨;最大解算器…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);可变形固体力学(74-XX)

OSQP

软件作者:巴尔托洛梅奥·斯特拉托、戈兰·班贾克、保罗·古拉特、阿尔贝托·贝姆帕德、斯蒂芬·博伊德
参考文献: 28种出版物(2018-2022)
相关软件: qpOASES公司;摩泽克;SCS公司;CVXPY公司;古罗比;生态系统…
主要领域: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)

副西普

软件作者:Yuji Shinano、Tobias Achterberg、Timo Berthold、Stefan Heinz、Thorsten Koch
参考文献: 30种出版物(2006-2022)
相关软件: SCIP;UG公司;MIPLIB;CPLEX公司;MIPLIB2003;XPRESS…
主要领域: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)

库卡

软件作者:万豪,金;乔克,西特森
参考文献: 27种出版物(1970-2018)
相关软件: 天蓝色;砂锅;HiRise公司;糠;柔软的;linprog…
主要领域: 数理逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

萨尔萨

软件作者:拉伯特,弗朗索瓦;凯索,伊夫
参考文献: 30种出版物(2000-2017)
相关软件: 彗星;航向信标;盎司;CPLEX公司;OPL;克莱尔…
主要领域: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

LSSPER公司

软件作者:明显,米雷;艺术家,基督徒;米其龙,菲利普
参考文献: 24种出版物(2004-2020)
相关软件: PSPLIB;分散搜索;进度;车间;CSPLib;彗星…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

软件作者:万豪,金;尼日可,尼古拉斯;拉菲、瑞萨;斯图基,彼得J。;加西亚·德拉班达,玛丽亚;华莱士,马克
参考文献: 27种出版物(2005-2022)
相关软件: 本质;微量锌;通用电气代码;彗星;振幅;ESRA…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)

D-ADMM公司

软件作者:莫塔,佐治亚州。;泽维尔,若昂·莫夫。;阿吉亚,佩德罗·M·Q。;Püschel,马库斯
参考文献: 26种出版物(2013-2022)
相关软件: 传奇;RACQP;lcmm;集群路径;msgl公司;glmnet…
主要领域: 算子理论(47-XX);统计学(62-XX);计算机科学(68-XX)

视觉吝啬鬼

软件作者:杨峰;德,角利;莱恩,洛斯顿;雷伯克,沃尔克;李斌;于长军;詹宁斯,莱斯利
参考文献: 25种出版物(2016-2022)
相关软件: 吝啬鬼3;NLPQLP;Ipopt公司;θ*;SOC;阿卡多…
主要领域: 常微分方程组(34-XX);变分法与最优控制;优化(49-XX);运筹学,数学规划(90-XX)

SDPEN公司

软件作者:G。Liuzzi,S.Lucidi,M.Scandrone,K.Truemper
参考文献: 22种出版物(2010-2022)
相关软件: DFL公司;游牧民族;DFBOX改进;SDBOX公司;DFL箱;正射体…
主要领域: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)

富帕尔

软件作者:H。隆美尔方格
参考文献: 19种出版物(1990-2017)
相关软件: PSPLIB;基诺科普;兰根;通知
主要领域: 数理逻辑与基础(03-XX);一般代数系统(08-XX);运筹学,数学规划(90-XX)

PySAT公司

软件作者:伊格纳蒂耶夫,亚历克赛;莫加多,安东尼奥;席尔瓦侯爵,乔奥
参考文献: 18种出版物(2018-2022)
相关软件: 迷你卫星;葡萄糖;RC2;底座;化学试剂盒;蟒蛇…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)

B-序言

软件作者:Afany软件
参考文献: 16种出版物(2001-2018)
相关软件: XSB公司;西斯库斯;雅普序言;SWI序言;通用电气代码;序言…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

奥斯卡

软件作者:奥斯卡团队
参考文献: 16种出版物(2014-2021)
相关软件: 通用电气代码;或工具;微量锌;彗星;MiniCP公司;巧克力…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

手套

软件作者:穹顶,费伦茨
参考文献: 15种出版物(2008-2017)
相关软件: 男爵;椰子;林多;国际实验室;沉香;RealPaver…
主要领域: 历史与传记(01-XX);数值分析(65-XX);计算机科学(68-XX)

ICOS公司

软件作者:利巴,Y。
参考文献: 16种出版物(2005-2021)
相关软件: 男爵;数字;椰子;摊铺机;安提戈涅;林多…
主要领域: 数值分析(65-XX);计算机科学(68-XX);粒子与系统力学(70-XX)

AQCS公司

软件作者:拉茨坎,S
参考文献: 14种出版物(2000-2020)
相关软件: QEPCAD公司;RSOLVER公司;mc工具箱;敏锐;舌状聚合体;TopDeg…
主要领域: 数理逻辑与基础(03-XX);一般代数系统(08-XX);数值分析(65-XX)

LGS公司

软件作者:艾尔索夫,亚历克赛;伊莉亚,伊凡诺夫;普瑞斯,谢尔盖;鲁科列耶夫,尤金;乌沙科夫,德米特里
参考文献: 14种出版物(1992-2010)
相关软件: 连接点
主要领域: 代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX);动力系统与遍历理论(37-XX)

SO-I公司

软件作者:穆勒,朱利安;鞋匠,克里斯汀A。;皮希,罗伯特
参考文献: 15种出版物(2014-2022)
相关软件: 游牧民族;自我;MLMSRBF;味噌;BFO公司;DFL…
主要领域: 统计学(62-XX);数值分析(65-XX);地球物理学(86-XX)

宝塔

软件作者:维辛,马丁;丹克,砂砾;塔尔科特,卡罗琳;波吉奥,安迪;布莱斯迈斯特琳达
参考文献: 12种出版物(2007-2015)
相关软件: 莫德;克莱姆;雷奥;皮尔洛;SCEL公司;朱莉…
主要领域: 历史与传记(01-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

偶氮

软件作者:贝尔,马库斯
参考文献: 13种出版物(2007-2021)
相关软件: PPL;波尔塔;巴维诺克;lrs;拿铁;CPLEX…
主要领域: 组合数学(05-XX);凸与离散几何(52-XX);计算机科学(68-XX)

野山羊

软件作者:查伯特,G;尼宁,约旦
参考文献: 13种出版物(2009-2022)
相关软件: 数字;轮廓/偏差;filib++;易趣网;摊铺机;监狱…
主要领域: 常微分方程组(34-XX);数值分析(65-XX);计算机科学(68-XX)

jCUTE公司

软件作者:Koushik Sen公司
参考文献: 11种出版物(2008-2021)
相关软件: 可爱的;投掷;克莱;Pex公司;z3;Java探路者…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

ESRA

软件作者:弗莱纳,皮埃尔;皮尔逊,贾斯汀;奥格伦,马格努斯
参考文献: 11种出版物(2004-2022)
相关软件: 本质;锌;振幅;NP规范;CSPLib;微量锌…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

还原LP

软件作者:安德烈·蒂茨,P.-A。阿布西尔,威廉·P·沃斯纳
参考文献: 12种出版物(1992-2019)
相关软件: rMPC;SDPT3;新唐克TQP;脂溶胶;CVX公司;塞杜米…
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程组(34-XX);数值分析(65-XX)

阳光明媚

软件作者:阿玛蒂尼,罗伯托;加布里埃利,毛里齐奥;毛罗,雅格布
参考文献: 12种出版物(2014-2021)
相关软件: 萨齐拉;微量锌;变形杆菌;阳光cp;阿斯佩德;SMAC…
主要领域: 几何(51-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

砂锅

软件作者:Greg J.Badros,Alan Borning,Peter J.Stuckey
参考文献: 9种出版物(2005-2018)
相关软件: 库卡;HiRise公司;天蓝色;林普格;Matlab语言;迷你卫星…
主要领域: 数理逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

赫利俄斯

软件作者:劳伦特·米歇尔,帕斯卡·范亨廷里克
参考文献: 10种出版物(1997-2015)
相关软件: 振幅;牛顿;快波;天蓝色;莫扎特;库卡…
主要领域: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)

朱诺-2

软件作者:艾伦·海登;格雷格·纳尔逊
参考文献: 11种出版物(1996-2004)
相关软件: 天蓝色;MMP/几何计;枸杞;基诺科普;隔离;QEPCAD…
主要领域: 几何(51-XX);数值分析(65-XX);计算机科学(68-XX)

MDC椭球

软件作者:D.S.洛佩斯、M.T.席尔瓦、J.A.安布罗西奥、P.弗洛雷斯
参考文献: 11种出版物(2010-2022)
相关软件: 联系人;利格斯;阿巴克斯;数学;MATLAB ODE套件;ode23s…
主要领域: 数值分析(65-XX);粒子与系统力学(70-XX);可变形固体力学(74-XX)

爬虫

软件作者:尼基·威廉姆斯,布鲁诺·马尔,帕特里夏·穆伊,穆里尔·罗杰
参考文献: 5种出版物(2008-2021)
相关软件: 可爱的;投掷;z3;Frama-C;Pex公司;桑特…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

验证图

软件作者:De Angelis E、Fioravanti F、Pettorossi A和Proietti M
参考文献: 10种出版物(2015-2021)
相关软件: z3;海喇叭;示踪剂;ARMC公司;HSF;数据日志…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

白杨

软件作者:霍斯,霍尔格;卡明斯基,罗兰;林道尔,马吕斯;肖布,托尔斯滕
参考文献: 10种出版物(2012-2020)
相关软件: 萨齐拉;SMAC;帕拉米尔;阳光明媚;微量锌;美洲驼…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

红衣主教

软件作者:阿泽维多,弗朗西斯科
参考文献: 10种出版物(2007-2020)
相关软件: CPGraph图;Z/晚上;伊莎贝尔/霍尔;成本;CSPLib;CPLEX…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

链式卫星

软件作者:M。Alava,J.Ardelius,E.Aurell,P.Kaski,S.Krishnamurthy,P.Orponen,S.Seitz
参考文献: 8种出版物(2010-2020)
相关软件: Walksat公司;许多人;电网BnB;麻雀2011;TTT批次;帕米拉特…
主要领域: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

IDP3公司

软件作者:布鲁努赫,莫里斯;Blockeel,亨德里克;博加茨,巴特;德卡特,兄弟;德普特,斯蒂夫;詹森,约阿希姆;安东尼,拉巴尔;拉蒙,简;Denecker,马克;维沃,Sicco
参考文献: 9种出版物(2015-2020)
相关软件: 卡扣;黄蜂;DLV公司;保鲜膜;c模型;DLV2…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

奥克宾

软件作者:格雷里里,L;亚科维埃洛,M
参考文献: 10种出版物(2017-2022)
相关软件: 迪纳雷;Gensys公司;Uhlig工具箱
主要领域: 博弈论、经济学、金融学和其他社会和行为科学(91-XX)

PSICO公司

软件作者:克里帕,路德维希;巴拉霍纳,佩德罗
参考文献: 9种出版物(2002-2017)
相关软件: 椰子;手套;男爵;国际实验室;ICOS;InC++…
主要领域: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

蜜蜂

软件作者:梅托迪,阿米特;科迪什,迈克尔
参考文献: 8种出版物(2012-2022)
相关软件: 踪迹;恶心;迷你卫星;OEIS;葡萄糖;生成Hg…
主要领域: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

伊普斯可乐

软件作者:德怀尔,T.,科伦,Y.,万豪,K。
参考文献: 7种出版物(2007-2016)
相关软件: 邓纳特;皮格特克;戈壁;虎鲸;适应图;rcola…
主要领域: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)

重新规划

软件作者:斯里瓦斯塔瓦,比普拉夫;Subbarao的Kombhampati;是的,明B。
参考文献: 9种出版物(2001-2008)
相关软件: 图形规划;斯坦;卡普兰;方案;CPLEX公司;萨帕…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

纤维布

软件作者:你是Shinano,S Heinz,S Vigerske,M Winkler
参考文献: 7种出版物(2015-2018)
相关软件: 副西普;UG公司;SCIP;PEBBL公司;MIPLIB2003;SCIP杰克…
主要领域: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)

格普

软件作者:张,青海
参考文献: 8种出版物(2016-2021)
相关软件: 火星;AMRCFI公司;萨德尔;芬尼茨;Gmsh公司;菲亚特…
主要领域: 数理逻辑与基础(03-XX);常微分方程组(34-XX);偏微分方程(35-XX)

GPDOF公司

软件作者:特罗姆贝托尼,吉尔;威尔茨科维亚克,玛尔塔
参考文献: 8种出版物(2005-2015)
相关软件: 摊铺机;CPLEX公司;小企业管理局;灰姑娘;数字;野山羊
主要领域: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

套索

软件作者:Lokhorst,J.,Venables,B.,Turlach,B.,Maechler,M。
参考文献: 7种出版物(2008-2020)
相关软件: R;quadprog公司;套索;多功能部件;戈壁;散点图3D…
主要领域: 一般性和全局性主题;收款(00-XX);统计学(62-XX);数值分析(65-XX)

佩斯克

软件作者:赫尔南德斯·洛巴托,何塞·米格尔;盖巴特,迈克尔A。;亚当斯,瑞安·P。;霍夫曼,马修W。;Ghahramani,祖宾
参考文献: 8种出版物(2016-2021)
相关软件: 自我;留兰香;炒作;GPareto公司;游戏机;Hyperopt…
主要领域: 偏微分方程组(35-XX);统计学(62-XX);计算机科学(68-XX)

拉萨特

软件作者:康,T.V.,小川,M。
参考文献: 8种出版物(2016-2021)
相关软件: SMT-大鼠;SMT-LIB;CVC4;z3;是的;迷你卫星…
主要领域: 数理逻辑与基础(03-XX);凸与离散几何(52-XX);数值分析(65-XX)

CLP(柔性)

软件作者:J。科埃略;M、 弗洛里多
参考文献: 7种出版物(2007-2021)
相关软件: 理论;数学;Veriflog公司;古怪的;莫德;ASF+SDF…
主要领域: 数理逻辑与基础(03-XX);特殊功能(33-XX);计算机科学(68-XX)

CP优化器

软件作者:菲利普·劳波里;Jérôme Rogerie公司
参考文献: 7种出版物(2015-2022)
相关软件: ILOG时间表;微量锌;CPLEX公司;PSPLIB;通用电气代码;巧克力…
主要领域: 历史与传记(01-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

CS序言

软件作者:河村俊美;Ohwada,Hayato;沟口,富雄
参考文献: 7种出版物(1988-2002)
相关软件: 序言;恰奥普;再见;PVM公司;西斯库斯;琳达
主要领域: 计算机科学(68-XX)

Exshall公司

软件作者:一。M、 纳文;J、 于
参考文献: 7种出版物(1997-2022)
相关软件: DDDAS;L-BFGS;塔夫;只读存储器;库达大学;罗达斯…
主要领域: 统计学(62-XX);数值分析(65-XX);流体力学(76-XX)

NLREG公司

软件作者:J。韦斯
参考文献: 7种出版物(1997-2020)
相关软件: 将军;范胡费尔;lbdtik公司;一般。m;mf工具箱;NL2SOL…
主要领域: 积分方程组(45-XX);功能分析(46-XX);算子理论(47-XX)

战略武器限制公约

软件作者:马库斯,桑德拉;麦克德莫特,约翰
参考文献: 5种出版物(1989-2010)
相关软件: 摩尔;被保护人;WordNet;口齿不清;简历;剪辑…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

阳光cp

软件作者:罗伯托·阿马蒂尼、毛里齐奥·加布里埃利、雅各布·毛罗
参考文献: 7种出版物(2015-2021)
相关软件: 阳光明媚;微量锌;萨齐拉;数字回拨;梅萨特;阿斯佩德…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

过境

软件作者:Udupa,A.,Raghavan,A.,Deshmukh,J.V.,Mador Haim,S.,Martin,M.M.,Alur,R。
参考文献: 6种出版物(2015-2021)
相关软件: CVC4;简化;FlashMeta;z3;是的;FlashExtract…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

泽塔萨

软件作者:布洛钦格,W.,韦斯特杰,W.,Küchlin,W.,Wedeniwski,S。
参考文献: 4种出版物(2006-2015)
相关软件: 网格卫星;糠;迷你卫星;格拉德萨;许多人;NAGSAT…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

BACP公司

软件作者:兰伯特,托尼;卡斯特罗,卡洛斯;蒙弗里,埃里克;里夫,玛丽亚·克里斯蒂娜;弗里德里克苏比昂
参考文献: 4种出版物(2005-2014)
相关软件: CSPLib;轻松的++
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

QUACAN箱

软件作者:马丁内斯,何塞·马里奥
参考文献: 6种出版物(2000-2022)
相关软件: LBFGS-B型;特殊目的层;阿尔根根;更可爱;最可爱的;最小值8…
主要领域: 数值分析(65-XX);运筹学,数学规划(90-XX)

卡斯帕

软件作者:科雷亚,M.,巴拉霍纳,P.,阿泽维多,F。
参考文献: 6种出版物(2007-2013)
相关软件: 仆从;通用电气代码;CSPLib;巧克力;CPLEX公司;红衣主教…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX);生物学和其他自然科学(92-XX)

累积EMM

软件作者:施奈尔,亚历山大;哈特,理查德F。
参考文献: 6种出版物(2016-2022)
相关软件: gprecedencem公司;NPU计划;PSPLIB;进度;ILOG时间表;兰根…
主要领域: 一般性和全局性主题;收款(00-XX);运筹学,数学规划(90-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

DCCP公司

软件作者:沈欣悦、戴蒙德、顾元涛、博伊德
参考文献: 5种出版物(2017-2022)
相关软件: CVXPY公司;古罗比;跳跃;CVX公司;EAGO.jl;盒式磁带。jl…
主要领域: 常微分方程组(34-XX);统计学(62-XX);运筹学,数学规划(90-XX)

gprecedencemm公司

软件作者:施奈尔,亚历山大;哈特,理查德F。
参考文献: 6种出版物(2016-2022)
相关软件: 累积EMM;NPU计划;PSPLIB;进度;ILOG时间表;兰根…
主要领域: 一般性和全局性主题;收款(00-XX);运筹学,数学规划(90-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

梅萨特

软件作者:斯托贾迪诺维奇,米尔科;马里奇,菲利普
参考文献: 6种出版物(2014-2022)
相关软件: 糖;是的;阳光明媚;变形杆菌;微量锌;萨齐拉…
主要领域: 几何(51-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

MSS公司

软件作者:詹妮弗·B·厄威,鲁梅尔·F·马西娅
参考文献: 6种出版物(1983-2019)
相关软件: GQTPAR公司;Matlab语言;L-BFGS;HSL-VF05;SifDec公司;更可爱…
主要领域: 数值分析(65-XX);运筹学,数学规划(90-XX)

牛顿

软件作者:范亨登里克,帕斯卡;米歇尔,劳伦特;本哈莫,F。
参考文献: 5种出版物(1997-2013)
相关软件: 赫利俄斯;帕斯卡-XSC;彗星;cc(FD);天蓝色;莫扎特…
主要领域: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

SemFix公司

软件作者:Hoang Duong Thien Nguyen、Dawei Qi、Abhik Roychoudhury、Satish Chandra
参考文献: 3种出版物(2017-2022)
相关软件: 先知;安吉利克斯;泰姬陵;FlashMeta;流动机器人;FlashExtract…
主要领域: 计算机科学(68-XX)

SPARQ2L公司

软件作者:安安武;安吉拉·马杜科;阿米特·谢斯
参考文献: 4种出版物(2009-2017)
相关软件: SPARQL;耶拿;XPath;nSPARQL;神谕;HPRD…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

StrSolve公司

软件作者:胡伊梅杰,P.,韦默,W。
参考文献: 6种出版物(2014-2020)
相关软件: 通过;通用电气代码;微量锌;汉比;Z3str3型;瓦普泰克…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

双层

软件作者:皮内达,S。;比林,H。;莫拉莱斯,J.M。
参考文献: 5种出版物(2018-2021)
相关软件: CPLEX公司;SAC94;MIPLIB;麦克佩克;伽马;CONOPT公司
主要领域: 变分法与最优控制;优化(49-XX);运筹学,数学规划(90-XX)

CFLP公司

软件作者:马林,M.,艾达,T.,施莱纳,W。
参考文献: 5种出版物(2001-2007)
相关软件: 西斯库斯;数学;cc(FD);玩具;盎司;吞咽…
主要领域: 复变函数(30-XX);差分方程和泛函方程(39-XX);计算机科学(68-XX)

瑞士法郎

软件作者:冈齐奥,J。
参考文献: 5种出版物(1993-2017)
相关软件: HOPDM公司;MA27;symrcm公司;IPMLO;小跑;最可爱的…
主要领域: 数值分析(65-XX);运筹学,数学规划(90-XX);数学教育(97-XX)

FES公司

软件作者:E。Ozcan,E.Ersoy公司
参考文献: 3种出版物(2012-2017)
相关软件: 超启发式;GGSA公司;海波利昂;海弗莱克斯
主要领域: 运筹学,数学规划(90-XX)

火焰

软件作者:Kaloian D.Lozanov,Mustafa A.Amin
参考文献: 5种出版物(2020-2022)
相关软件: 皮酷;除霜;PSpectRe公司;格子容易;快活的
主要领域: 数值分析(65-XX);粒子与系统力学(70-XX);量子理论(81-XX)

视盘

软件作者:巴塔查里亚,R
参考文献: 5种出版物(2010-2016)
相关软件: Matlab语言;θ*;D*Lite公司;暴动95;沉香;bvp4c…
主要领域: 组合数学(05-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)

符号自动机

软件作者:小牛肉,马格斯;比约纳,尼古拉
参考文献: 5种出版物(2012-2017)
相关软件: 汉比;陌生人;github;HOL试验原;ETPS;伊莎贝尔/霍尔…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

TCAS系统

软件作者:戈特利布,A。
参考文献: 3种出版物(2012-2019)
相关软件: z3;SMT-LIB;迷你卫星;CPBPV;暴露;SymJS…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

乌尔萨

软件作者:贾尼契奇,P。
参考文献: 5种出版物(2012-2021)
相关软件: 缅甸中央银行;迷你卫星;Transalg公司;github;谷物;钩子…
主要领域: 数理逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)

产量

软件作者:卡鲁伊,瓦法;Huguet,Marie José;洛佩兹,皮埃尔;纳纳,韦迪
参考文献: 5种出版物(2007-2021)
相关软件: 谨慎;夹子;CPLEX公司;古罗比;github;mplp2…
主要领域: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)

Z3str2型

软件作者:郑云辉;加内什,维杰;苏布拉曼尼亚,萨努;特里普,奥默;贝齐什,墨菲;杜比,朱利安;张向玉
参考文献: 4种出版物(2017-2021)
相关软件: 汉比;Z3str3型;陌生人;诺恩;z3;CVC4…
主要领域: 计算机科学(68-XX)

可可豆

软件作者:玛克特,米哈利克萨巴;希克,赫尔曼
参考文献: 4种出版物(2014-2017)
相关软件: 椰子;男爵;安提戈涅;数字;QuadProgBB;全球溶胶…
主要领域: 运筹学,数学规划(90-XX)