×

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

莫塞克

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)…

天然气液化

46篇文献引用(2015–2023)
软件作者: 柏林祖色学院
相关软件: SCIP;古罗比;游戏…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-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)…

李群地图集

17篇文献引用(2008–2023)
软件作者: 没有,阿尔弗雷德·G·。
相关软件: 数学软件
主要字段: 数论(11-XX);代数几何(14-XX);非结合环与代数(17-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)

ADDPLAN(附加计划)

4份文件引用(2006年-2014年)
软件作者: Wassmer G,Eisbett R公司
相关软件: EaSt;R;SAS…
主要字段: 统计学(62-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)…

CAPP公司

引用于9份文件(2008–2010)
软件作者: 肯尼思·克劳
相关软件:
主要字段: 统计学(62-XX);计算机科学(68-XX);流体力学(76-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)…

MBESS公司

3份文件引用(2012–2021)
软件作者: 肯·凯利
相关软件: R;MOTE;效应大小…
主要字段: 统计学(62-XX)

SAT竞赛

6篇文献引用(2009–2017)
软件作者: Hans van Maaren;法兰柯
相关软件: MiniSat;萨齐拉;SMAC…
主要字段: 计算机科学(68-XX)

UMLDiff大学

1份文件引用(2009)
软件作者: Eleni Stroulia邢振昌
相关软件: GRK;GDK;ArchJava…
主要字段: 计算机科学(68-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)…

转子

7份文件引用(2010–2023)
软件作者: 巴辛格,J.,赞德,P。
相关软件: 作物系统;DSSAT;CPLEX…
主要字段: 运筹学、数学规划(90-XX)

拦污栅

7份文件引用(2014–2022)
软件作者: 卓、汉克斯、汉奎;杨强
相关软件: PDDL;UCPOP;SCIPPlan…
主要字段: 计算机科学(68-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)

筛选结果依据…

全部的 前5名

相关软件