莫塞克 624份文件引用(1999–2024) 软件作者: 莫斯科ApS 相关软件: YALMIP;塞杜米;SDPT3… 主要字段: 统计学(62-XX);数值分析(65-XX);变形固体力学(74-XX)…
CGAL公司 417份文件引用(2000–2024) 软件作者: CGAL编辑委员会 相关软件: LEDA;二维三角剖分;三角形… 主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…
DYNAMO公司 260篇文献引用(1968–2023) 软件作者: 杰伊·赖特·福雷斯特、菲利斯·福克斯、亚历山大·普格三世、格雷斯·杜伦 相关软件: 斯特拉;文西姆;AnyLogic… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
图规划 176篇文献引用(1991年-2023年) 软件作者: 布卢姆,Avrim L。;弗斯特,梅里克。 相关软件: 步行卫星;PDDL;STAN… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
红线批注 171篇文献引用(1997–2024) 软件作者: 安德烈亚斯·多尔兹曼(Andreas Dolzmann);托马斯·斯图尔姆;沃尔克·魏斯芬宁 相关软件: QEPCAD;z3;枫叶… 主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);计算机科学(68-XX)…
PDDL公司 95篇文献引用(2000–2023) 软件作者: 福克斯,M。;Long,D。;Ghallab,M.、Howe,A.、Knoblock,C.、McDermott,D.、Ram,A.、Veloso,M.,Weld,D.、Wilkins,D。 相关软件: 图形平面图;步行卫星;SAPA… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
图 113篇文献引用(2013–2022) 软件作者: 克里斯蒂安·索默 相关软件: 算法97;GraphChi;Pregel… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
PLINK公司 71篇文献引用(1994年-2023年) 软件作者: Purcell S、Neale B、Todd-Brown K、Thomas L、Ferreira MAR、Bender D等人 相关软件: R;GCTA;Eigenstrat… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…
CCalc公司 77份文件引用(2003–2023) 软件作者: 恩里科·金奇利亚(Enrico Giunchiglia);Lee,Joohyung;弗拉基米尔·利夫希茨;诺曼·麦凯恩;哈德森·特纳 相关软件: 平滑;考拉;高尔夫… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
杰森 引用于47份文件(1977–2023) 软件作者: 拉斐尔·博迪尼。;胡布纳,乔米·弗雷德;迈克尔·伍尔德里奇 相关软件: AgentSpeak;Jadex公司;2APL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
教堂 57篇文献引用(2008–2023) 软件作者: Goodman N.、Mansinghka V.K.、Roy D.、Bonawitz K.、Tenenbaum J.B。 相关软件: 博客;IBAL;ProbLog… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);概率论与随机过程(60-XX)…
康戈洛格 引用于40篇文献(1999–2022) 软件作者: 德贾科莫;Lespérance,Y。;H.J.列夫斯克。 相关软件: 高尔夫;AgentSpeak;METATEM… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
火花 38篇文献引用(1990–2023) 软件作者: Darren Foulger;史蒂夫·金 相关软件: JML;规格#;ESC/Java… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
SAS/ETS系统 39篇文献引用(1985–2022) 软件作者: SAS公司 相关软件: SAS;R;SAS/STAT… 主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…
TOMP公司 39篇文献引用(1994–2024) 软件作者: 卡夫,D。 相关软件: NLopt;DFVLR-SQP;Python… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
POMDPS公司 引用于40篇文献(1998–2023) 软件作者: 罗斯,S。;Pineau,J。;帕克特,S。;Chaib-Draa,B。 相关软件: 目的地;PRMLT;EGO… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
SINTEF公司 引用于40篇文献(2007–2023) 软件作者: Hasle,Geir(编辑);Lie,Knut-Andreas(编辑);Ewald Quak(编辑) 相关软件: Matlab;VRP;FEniCS… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
STAN公司 37篇文献引用(1998年至2018年) 软件作者: 龙,德里克;玛丽亚·福克斯 相关软件: 图形平面图;步行卫星;CPlan… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
神童 24篇文献引用(1992–2019) 软件作者: Carbonell,J.、Blythe,J.,Etzioni,O.、Gil,Y.、Joseph,R.、Kahn,D.、Knoblock,C.、Minton,S.、Pérez,M.A.、Reilly,S.,Veloso,M.、Wang,X。 相关软件: UCPOP;图形平面图;KQML… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
IsaPlanner公司 引用于33份文件(2000–2022) 软件作者: 卢卡斯·狄克逊;莫阿·约翰逊 相关软件: 伊莎贝尔;Coq;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
折扣 31份文件引用(1996年-2023年) 软件作者: Denzinger,J。;Kronenburg先生。;舒尔茨,S。 相关软件: TPTP;VAMPIRE公司;E定理证明器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
KQML公司 16篇文献引用(1996–2019) 软件作者: 蒂姆·菲宁(Tim Finin)、理查德·弗里茨森(Richard Fritzson)、唐纳德·普·麦凯(Donald P McKay)、罗宾·麦康蒂尔(Robin McEntire) 相关软件: 神童;Globus工具包;Qu-Prolog… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
欧米茄 32篇文献引用(1997–2016) 软件作者: 曼弗雷德·科伯;理论漫游者博物馆;西克曼,J。;Benzmüller,C。;菲德勒,A。;Meier,A。;Pollet,M。 相关软件: Coq;陷阱;OTTER… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
SIMSCRIPT软件 30篇文献引用(1965–2008) 软件作者: 马科维茨,H.M。;豪斯纳,B。;H.W.卡尔。 相关软件: GASP IV;Ada95;模拟器67… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
通用KADS 26篇文献引用(1994–2014) 软件作者: 范德维尔德·布鲁克尔 相关软件: NeuroGaz;github;投票Sim… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
商店2 15篇文献引用(2003–2021) 软件作者: Nau,Dana S。;Au、Tsz-Chiu;伊尔加米,奥赫泰;库特,乌古尔;J.William Murdock;吴丹;抚顺亚曼 相关软件: PDDL;图形平面图;高尔夫… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)
QUBE公司 26篇文献引用(2001–2018) 软件作者: 恩里科·金奇利亚(Enrico Giunchiglia);马西莫·纳里扎诺;阿曼多·塔切拉 相关软件: QuBE++;Quaffle;箔条… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);有序,格,有序代数结构(06-XX)…
CP计划 26篇文献引用(2000–2011) 软件作者: 彼得·范·比克 相关软件: 图形平面图;步行卫星;PDDL… 主要字段: 群论与推广(20-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
SimVascular公司 26篇文献引用(2017–2024) 软件作者: Updegrove,A。;新墨西哥州威尔逊。;Merkow,J。;兰·H。;马斯登,A.L。;南卡罗来纳州沙登。 相关软件: PETSc;TetGen;克里姆森… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
MIRP库 26篇文献引用(2014–2023) 软件作者: 帕帕乔乌,迪米特里·J。;乔治·L·纳姆豪泽。;乔尔·索科尔;Cheon,Myun-Seok;艾哈迈特·凯哈(Ahmet B.Keha)。 相关软件: VRP;CPLEX;irace… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
开放模拟人生 21篇文献引用(2009–2023) 软件作者: Delp,S.L.、Anderson,F.C.、Arnold,A.S.、Loan,P.、Habib,A.、John,C.T.、Guendelman,E.、Thelen,D.G。 相关软件: 任何人;辛博迪;SCONE… 主要字段: 统计学(62-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
CORO公司 24篇文献引用(1999–2020) 软件作者: 劳雷亚诺·F·埃斯库德罗。;金塔纳,Francisco J。;哈维尔·萨尔梅隆 相关软件: MSLiP;GAMS;MSNLP… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
Lambda-Clam公司 24篇文献引用(1997–2012) 软件作者: J.Richardson、A.Smaill、I.Green 相关软件: IsaPlanner;Nuprl公司;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
LARS公司 23篇文献引用(2016–2022) 软件作者: Beck,H.、Dao-Tran,M.、Eiter,T.、Fink,M。 相关软件: 克林戈;o克林戈;SPARQL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
MineLib公司 24篇文献引用(2013–2024) 软件作者: 丹尼尔·埃斯皮诺扎(Daniel Espinoza);马科斯·戈库利亚;爱德华多·莫雷诺;纽曼,亚历山德拉 相关软件: CPLEX;AMPL;古罗比… 主要字段: 变分法与最优控制;优化(49-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
SAP APO 22篇文献引用(2004–2020) 软件作者: 活力 相关软件: XPRESS;RELAX4;放松IV… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
VISSIM公司 21篇文献引用(2005–2022) 软件作者: PTV Planung Transport Verkehr AG公司 相关软件: Matlab;Z树;Sobol… 主要字段: 统计学(62-XX);统计力学,物质结构(82-XX);运筹学,数学编程(90-XX)…
CERR公司 引用于20份文件(2006–2022) 软件作者: J.迪西、A.I.布兰科、V.H克拉克 相关软件: Ipopt;Matlab;TROTS… 主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
Quantor公司 22篇文献引用(2005–2017) 软件作者: 阿米恩·比尔 相关软件: 斯基佐;量子点;部门QBF… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
猛增 22篇文献引用(1992年-2010年) 软件作者: 凯蒂尔·桑德尔 相关软件: JDQZ;JDQR;SATZILA… 主要字段: 数值分析(65-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
SONET公司 22篇文献引用(1996-2013) 软件作者: – 相关软件: SNDlib;TSPLIB;蜘蛛… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
脱咖啡因咖啡 11份文件引用(2000–2005) 软件作者: 约翰·格雷厄姆(John R.Graham)。;基思·S·戴克。 相关软件: 旅行者号;GroupKit;高尔夫… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
MetaMorph变形 18篇文献引用(1999–2010) 软件作者: 马图拉纳,F。;沈伟(Shen,W.)。;D.H.诺里。 相关软件: Aglet;湿润+;发明人… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
狄拉克++ 18篇文献引用(2008–2021) 软件作者: 吉多·莫肯。;克里斯托夫·凯特尔。 相关软件: Dirac_Laczos;FFTW;PETSc… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);光学、电磁理论(78-XX)…
FODD-计划 15篇文献引用(2008–2022) 软件作者: Joshi,S。;R.卡顿。 相关软件: FluCaP;图形平面图;高尔夫… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
SAPA公司 在14份文件中引用(2002–2022) 软件作者: 做,M。;南卡罗来纳州坎班帕蒂。 相关软件: 图形平面图;PDDL;Walksat… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
Agena风险 在14份文件中引用(2013年-2023年) 软件作者: 诺曼·芬顿;尼尔、马丁 相关软件: R;四分体;激励器… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
NSIPS公司 16篇文献引用(2003–2023) 软件作者: Vaz,A.Ismael F。;费尔南德斯,Edite M.G.P。 相关软件: SIPAMPL;AMPL;NPSOL… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
轨道库 16篇文献引用(2008–2021) 软件作者: 安德烈·普拉泽 相关软件: z3;凯伊迈拉;QEPCAD… 主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);代数几何(14-XX)…
TuLiP公司 15篇文献引用(2016–2022) 软件作者: Tichakorn Wongpiromsarn、Ufuk Topcu、Necmiye Ozay、Huan Xu、Richard M.Murray 相关软件: PESSOA;科西马;SCOTS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
剂量测定 12份文件引用(2011–2023) 软件作者: 比约恩·博恩坎普、何塞·皮涅罗、弗兰克·布雷茨 相关软件: R;SAS;WinBUGS… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…
启发式实验室 10篇文献引用(2004–2022) 软件作者: Stefan Wagner;迈克尔·阿芬泽勒 相关软件: ParaDisEO;欧洲法院;TSPLIB… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
MEDLAR公司 在14份文件中引用(1995–2013) 软件作者: 布鲁诺·巴赫伯格、约阿希姆·普法尔兹格拉夫、卡雷尔·斯托克曼、沃尔夫冈·盖尔克、维奥里卡·索夫罗尼 相关软件: 枫树;6月2日;BVPh… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…
MPSPLib(MPSPLib) 在14份文件中引用(2007–2023) 软件作者: J·霍姆伯格 相关软件: PSPLIB;RanGen;DAGEN… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
简历 8份文件引用(1997–2018) 软件作者: 尤瓦尔·沙哈尔;马克·穆森 相关软件: 蛋白质;PhysioToolkit;BIDE… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
农家乐 8份文件引用(2016–2023) 软件作者: 费利佩·德门迪布鲁 相关软件: R;ggplot2;kableExtra… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
液化石油气 12份文件引用(2003–2022) 软件作者: 阿方索·盖列维尼(Alfonso E.Gerevini)、亚历山德罗·萨埃蒂(Alessandro Saetti)、伊万·塞里纳(Ivan Serina)、毛罗·瓦拉蒂(Mauro Vallati) 相关软件: 图形平面图;PDDL;Walksat… 主要字段: 计算机科学(68-XX);量子理论(81-XX)
梅赛格三世 11份文件引用(2000–2020) 软件作者: Messner,S.和Strubegger,M。 相关软件: 马卡尔;CPLEX;OSeMOSYS… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);运筹学,数学编程(90-XX)…
Theta公司* 10篇文献引用(2010–2022) 软件作者: 肯尼·丹尼尔、亚历克斯·纳什、斯文·柯尼格、阿里尔·费尔纳 相关软件: 安雅;Matlab;MISER3… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
UrbanSim公司 引用于9份文件(2005–2022) 软件作者: Waddell P、Borning A、Noth M、Freier N、Becke M、Ulfarsson G 相关软件: 生物战;UScensus2000;acs… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);运筹学,数学编程(90-XX)…
氟氯化钙 11份文件引用(2006–2021) 软件作者: Hölldobler,S。;卡拉巴耶夫,E。;O.斯科沃尔佐娃。 相关软件: FODD-计划;ProbLog;CCalc… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
国际会计准则 11份文件引用(2000–2023) 软件作者: 贾努斯·格拉纳特(Janusz Granat);马雷克·马科斯基 相关软件: MESSAGEix;TROTS;SPEA2… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
林蒂姆 11份文件引用(2012–2023) 软件作者: A.Schiewe、S.Albert、V.Grafe、P.Schieew、A.Schöbel、F.Spühler 相关软件: PESPLib;古罗比;Netlib… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
MOAPPS公司 11份文件引用(2001–2019) 软件作者: Baykasoglu,A。 相关软件: 禁忌搜索;林多;LINGO… 主要字段: 数学逻辑与基础(03-XX);运筹学、数学规划(90-XX)
VHPOP(VHPOP) 10篇文献引用(2003–2021) 软件作者: Younes,H.L.S。;R.G.西蒙斯。 相关软件: 图形平面图;PDDL;UCPOP… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
IPC-4项目 8份文件引用(2005–2009) 软件作者: 霍夫曼,J。;Edelkamp,S。;蒂堡,S。;恩格尔·R。;Liporace,F。;特鲁格,S。 相关软件: 平面图;PDDL;SAPA… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
OMPL公司 10篇文献引用(2013年-2023年) 软件作者: Şucan,I.A.、Moll,M.、Kavraki,L.E。 相关软件: CGAL;核心2;ROCS… 主要字段: 凸和离散几何(52-XX);流形和细胞复合体(57-XX);计算机科学(68-XX)…
OptiRisk公司 10篇文献引用(2008–2022) 软件作者: – 相关软件: TwitterMonitor;磁粉检测;PySP… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
扣 引用于9份文件(2012–2021) 软件作者: 马丁·格布瑟(Martin Gebser);罗兰·卡明斯基(Roland Kaminski);穆拉特·奈赫特(Murat Knecht);托尔斯滕·绍布 相关软件: PDDL;克林戈;ROSoClingo… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
QualNet公司 5份文件引用(2008–2016) 软件作者: SCALABLE网络技术公司。 相关软件: AODV;ns-2;HOL/SPIN… 主要字段: 组合数学(05-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
瓦尔梅特 8份文件引用(2001年至2021年) 软件作者: Gerig,Guido;Jomier,Matthieu;查科斯,米兰达 相关软件: 批处理生成器;自由冲浪者;HDF5… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
部队NLP 引用于9份文件(2018–2023) 软件作者: 扎内利,A。;Domahidi,A。;赫雷斯,J。;M.莫拉里。 相关软件: ACADO;qpOASES;GRAMPC… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…
寄生虫 引用于9份文件(2001年至2021年) 软件作者: SIAS有限公司;Quadston有限公司 相关软件: 寄生虫;TRANSIMS公司;Matlab… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)
PlanMine公司 8份文件引用(2000–2007) 软件作者: 穆罕默德·扎基。;Neal Lesh;Mitsunori小原 相关软件: 铲刀;BIDE;CloseGraph… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
RealPlan(实际计划) 引用于9份文件(2001–2008) 软件作者: 斯利瓦斯塔瓦,比普拉夫;Subbarao Kombhampati;做,明B。 相关软件: 图形平面图;STAN;CPlan… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
卡门 2份文件引用(2005–2009) 软件作者: 蒙特默罗,M.,罗伊,N.,特龙,S 相关软件: 活性氧;高温;Tekkotsu… 主要字段: 计算机科学(68-XX);系统论;对照(93-XX)
目的地 8份文件引用(2016–2023) 软件作者: 叶楠;Adhiraj Somani;Hsu,David;Lee和Wee Sun 相关软件: POMDPS;DeepStack;GAZEBO… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
流行病 8份文件引用(2010–2022) 软件作者: 克里斯托弗·巴雷特;基思·比塞特(Keith R.Bisset);斯蒂芬·尤班克(Stephen G.Eubank);西周风;马达夫·马拉特 相关软件: 作业成本法;gleamviz;图表… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
GAMS模型 8份文件引用(2007–2020) 软件作者: GAMS游戏 相关软件: GAMS;林多;Matlab… 主要字段: 历史与传记(01-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…
AltAlt键 6篇文献引用(2002–2009) 软件作者: 罗密奥·桑切斯·奈根达(Romeo Sanchez Nigenda)、玄龙阮(XuanLong Nguyen)、苏巴拉奥·坎巴帕蒂(Subbarao Kambhampati) 相关软件: STAN;平面图;SAPA… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
AS 218标准 7份文件引用(1986–1996) 软件作者: 路易斯·埃斯科瓦尔(Luis A.Escobar)。;William Q.jun,米克尔。 相关软件: AS 83;为124;AS 138… 主要字段: 统计学(62-XX);数值分析(65-XX)
CNOP公司 7份文件引用(1997–2011) 软件作者: 梅尔霍恩,K。;齐格尔曼,M。 相关软件: 数学软件 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
科林 6篇文献引用(2012–2022) 软件作者: 科尔斯,A.J。;科尔斯,A.I。;福克斯,M。;龙,D。 相关软件: PDDL;SCIP计划;TensorFlow… 主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
D*Lite系列 4份文件引用(2004–2019) 软件作者: 斯文·柯尼格(Sven Koenig)、马克西姆·利哈切夫(Maxim Likhachev) 相关软件: 基因组学;杰森;LARS… 主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)…
DISPRO公司 7份文件引用(1981–2017) 软件作者: V.S.Mikhalevich、I.V.Sergienko、T.T.Lebedeva等人。 相关软件: 规划师;DISNEL公司;Matlab… 主要字段: 历史与传记(01-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
ICAGENT公司 6篇文献引用(2001–2003) 软件作者: Mavromichalis,Vangelis Kourakos;乔治·A·沃罗斯。 相关软件: – 主要字段: 计算机科学(68-XX)
NMRDPP公司 7份文件引用(2006–2023) 软件作者: 蒂堡,S。;格雷顿,C。;斯莱尼,J。;价格,D。;卡班扎,F。 相关软件: 图形平面图;CPLEX;观察员… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
通用包装器4AC 6篇文献引用(2019–2024) 软件作者: 凯萨琳娜·艾根斯佩格;马吕斯·林道尔;弗兰克·哈特 相关软件: irace;帕拉米尔斯;EGO… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
ML计划 5份文件引用(2018–2023) 软件作者: 费利克斯·摩尔(Felix Mohr);马塞尔·韦弗(Marcel Wever);埃克·Hüllermier 相关软件: Auto-WEKA;TPOT;自动扫描… 主要字段: 计算机科学(68-XX)
操作系统设计 4份文件引用(2012–2018) 软件作者: Haneuse,S.、Saegusa,T.、Chaterjee,N.、Breslow,N。 相关软件: R;MCE;SAS/IML… 主要字段: 统计学(62-XX)
人民 5份文件引用(2019年至2021年) 软件作者: 杨芳凯、吕道明、刘波、史蒂文·古斯塔夫森 相关软件: REBA;BWIBots;ALM… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)