×

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

形状

129篇文献引用(2019–2024)
软件作者: 斯科特·伦德伯格(Scott Lundberg),苏茵·李(Su-In Lee)
相关软件: XGBoost;Scikit;UCI-ml…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

卡帕拉布

60篇文献引用(2007–2024)
软件作者: 米歇尔·格拉比什(Michel Grabisch);科贾迪诺维奇(Ivan Kojadinovic);帕特里克·梅耶
相关软件: R;M-MACBETH;视觉UTA…
主要字段: 测量和集成(28-XX);统计学(62-XX);计算机科学(68-XX)…

甘比特

53篇文献引用(2003–2023)
软件作者: Richard D.McKelvey、Andrew M.McLennan、Theodore L.Turocy
相关软件: Z树;GAMUT;Python…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

UPPAAL TIGA公司

47篇文献引用(2007–2023)
软件作者: Behrmann,G.、Cougnard,A.、David,A.、Fleury,E.、Larsen,K.G.、Lime,D。
相关软件: Uppaal;棱镜;Synthia…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变异微积分和最优控制;优化(49-XX);计算机科学(68-XX)…

AlphaGo公司

40篇文献引用(2016–2023)
软件作者: DeepMind公司
相关软件: TensorFlow;AlexNet;ImageNet…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

PGSolver公司

41篇文献引用(2009–2023)
软件作者: 奥利弗·弗里德曼;马丁·兰格
相关软件: Oink;条纹;mCRL2…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

魔法

39篇文献引用(2003–2020)
软件作者: 萨加尔·查基;埃德蒙·克拉克;Jha,萨默什;维思,赫尔穆特
相关软件: ComFoRT;班德拉;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

EasyCrypt公司

在35份文件中引用(2011–2022)
软件作者: 吉尔·巴特;本杰明·格雷戈里;Sylvain Heraud;贝盖林,圣地亚哥·扎内拉
相关软件: Coq;F*;AVISPA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…

o树

33篇文献引用(2017–2024)
软件作者: Chen,D.L。;Schonger,M。;C·威肯斯。
相关软件: Z树;hroot;奥赛…
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

搅拌机

26篇文献引用(2009年至2024年)
软件作者: 搅拌机基础
相关软件: 蟒蛇;CGAL;科学…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

DeepStack公司

26篇文献引用(2017–2023)
软件作者: 莫拉夫切克,马泰吉;马丁·施密德(Martin Schmid);尼尔·伯奇;维利亚姆·利西;达斯汀·莫里尔;诺兰·巴德;特雷弗·戴维斯;Waugh,Kevin;迈克尔·约翰逊(Michael Johanson);迈克尔·保龄球
相关软件: 天秤座;普里巴斯;游戏缩小…
主要字段: 常微分方程(34-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

GDL公司

19份文件引用(2009–2023)
软件作者: Love,N.、T.Hinrichs、D.Haley、E.Schkufza、M.Genesereth
相关软件: 克林戈;AlphaZero;CCalc…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

OptNet公司

7份文件引用(2018–2022)
软件作者: Brandon Amos,J.Zico Kolter
相关软件: PyTorch;亚当;TensorFlow…
主要字段: 变异微积分和最优控制;优化(49-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

GAMUT公司

16篇文献引用(2007–2022)
软件作者: 尤金·努德曼(Eugene Nudelman)、詹妮弗·沃特曼(Jennifer Wortman)、凯文·莱顿·布朗(Kevin Leyton-Brown)、约夫·肖姆(Yoav Shoham)
相关软件: 赌博;CPLEX;MINOS…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

迪纳摩

16篇文献引用(2010–2019)
软件作者: Bill Sandholm、Emin Dokumaci、Francisco Franchetti
相关软件: ABED;EvoDyn-3s;PDToolbox…
主要字段: 常微分方程(34-XX);几何(51-XX);概率论与随机过程(60-XX)…

POLSYS_PLP系统

18篇文献引用(1999–2014)
软件作者: 史蒂文·怀斯(Steven M.Wise)。;Andrew J.Sommese。;Layne T.沃森。
相关软件: PHCpack;HOMPACK90;PHoM…
主要字段: 场论与多项式(12-XX);代数几何(14-XX);数值分析(65-XX)…

令人惊叹的

12份文件引用(2007–2021)
软件作者: 文森特·科尼策;托马斯·桑德霍姆
相关软件: R-MAX;普里巴斯;AlphaZero…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

IRIS公司

15篇文献引用(2010–2022)
软件作者: Tsai,J.、Rathi,S.、Kiekintveld,C.、Ordóñez,F.、Tambe,M。
相关软件: VRP公司
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

Oink公司

13份文件引用(2018–2022)
软件作者: T·迪克。
相关软件: PGSolver;条纹;mCRL2…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

ECDAR公司

9份文件引用(2011–2022)
软件作者: 亚历山大·戴维;金·拉森。G。;Legay,Axel;乌尔里克·奈曼;安德烈·索夫斯基
相关软件: Uppaal;MIO工作台;UPPAAL TIGA…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

游戏萎缩

11份文件引用(2007–2022)
软件作者: 安德鲁·吉尔平(Andrew Gilpin);托马斯·桑德霍姆
相关软件: DeepStack;AlphaZero;Libratus…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

GAVS公司

10篇文献引用(2005–2022)
软件作者: Cheng,Chih-Hong;巴克尔(Christian Buckl);Michael Luttenberger;阿洛伊斯·诺尔
相关软件: 主旨;PRISM-名称;棱镜…
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);运筹学,数学规划(90-XX)…

解除束缚

12份文件引用(2011–2023)
软件作者: 吕迪格·埃勒斯
相关软件: 金合欢+;条纹;BoSy…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

天秤座

10篇文献引用(2018–2022)
软件作者: 诺姆·布朗;托马斯·桑德霍姆
相关软件: DeepStack;普里巴斯;AlphaZero…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

破旧的

10篇文献引用(2012–2022)
软件作者: 罗德里克·布隆姆、亚历山德罗·西马蒂、卡琳·格雷梅尔、乔治·霍夫雷克、罗伯特·科尼霍费尔、马可·罗弗瑞、维克托·舒潘、理查德·西伯
相关软件: NuSMV;JTLV;数学SAT…
主要字段: 数学逻辑与基础(03-XX);测量和集成(28-XX);计算机科学(68-XX)…

EAGLE公司

9份文件引用(2015–2021)
软件作者: 亚历克西斯·图米;朱利安·古铁雷斯(Julian Gutierrez);迈克尔·伍尔德里奇
相关软件: 棱镜;PRISM-名称;MCMAS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

ExaGeoStat公司

6篇文献引用(2018–2021)
软件作者: 阿卜杜拉,S。;Ltaief,H。;孙,Y。;Genton,M.G。;凯斯,D.E。
相关软件: R;FRK公司;ExaGeoStatR…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

元游戏

9份文件引用(1991–2009)
软件作者: 马库斯·穆勒·奥尔姆(Markus Müller-Olm)、海森柳(Haiseung Yoo)
相关软件: 自旋蛋白;GDL;jETI公司
主要字段: 算子理论(47-XX);变异微积分和最优控制;优化(49-XX);计算机科学(68-XX)…

足球服务器

3份文件引用(2007–2010)
软件作者: 野田佳彦,H.松原,K.平木,I.弗兰克。
相关软件: 社会可视化者;岛国;CCalc…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

BEDFix公司

9份文件引用(2003–2020)
软件作者: 斯宾塞·谢尔曼;西科尔斯基,K。
相关软件: 算法848;minpack;TENSOLVE公司
主要字段: 算子理论(47-XX);数值分析(65-XX);计算机科学(68-XX)…

EvoDyn-3秒

引用于8份文件(2019–2023)
软件作者: 路易斯·伊兹奎尔多(Luis R.Izquierdo);Segismundo S.Izquierdo;威廉·桑德霍姆
相关软件: ABED;发电机;PDToolbox…
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX)

POLSYS_GLP公司

9份文件引用(2006–2017)
软件作者: 苏海军;J.迈克尔·麦卡锡;Masha Sosonkina;莱恩·T·沃森
相关软件: 贝尔蒂尼;PHCpack;POLSYS_PLP…
主要字段: 场论与多项式(12-XX);代数几何(14-XX);复变量函数(30-XX)…

RRE公司

引用于8份文件(2014–2020)
软件作者: 佐努兹,S。;Khurana,H。;桑德斯,W。;T·亚德利。
相关软件: 古罗比;皮特布尔;多边形图…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

ABED公司

4份文件引用(2018–2020)
软件作者: 路易斯·伊兹基尔多(Luis R.Izquierdo)。;Izquierdo,Segismundo S。;威廉·H·桑德霍姆。
相关软件: EvoDyn-3s;发电机;NetLogo…
主要字段: 全局分析,流形分析(58-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

BYRNES公司

引用于8份文件(2004–2021)
软件作者: 多龙·泽尔伯格
相关软件: Chomp3Rows;组织环境信息系统;枫树
主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…

数据传输协议

引用于8份文件(2019–2022)
软件作者: 韩、柯;加布里埃尔·伊芙;特里·弗里斯。
相关软件: 基因组学;Matlab;github
主要字段: 算子理论(47-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…

FusionGAN公司

引用于8份文件(2019–2022)
软件作者: 马,J。;于伟(Yu,W.)。;梁,P。;李,C。;江,J。
相关软件: 国际有线电视新闻网;亚当;像素x像素…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

戈尔利

引用于8份文件(2011–2022)
软件作者: Trevorrow,A.、Rokiki,T.、Hutton,T.等人。
相关软件: 双目标规则
主要字段: 数论(11-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

iPPI-PseAAC公司

引用于8份文件(2019)
软件作者: 贾,J。;李,X。;邱伟。;Xiao,X。;周,K.-C。
相关软件: iPromoter-2L;iRSpot-EL;iRNA-PseColl…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

阿尔帕加

5份文件引用(2010–2018)
软件作者: Dietmar Berwanger;克里希南多·查特吉;马丁·德·伍尔夫;Laurent Doyen;托马斯·亨辛格(Thomas A.Henzinger)。
相关软件: 棱镜;相思树+;POMDP…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

前夕

4份文件引用(2019–2021)
软件作者: 穆罕默德·纳吉布
相关软件: MCMAS;普拉林;MCMAS-SLK…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

BRMaximin公司

6篇文献引用(2021–2023)
软件作者: 威廉·卡巴列罗(William N.Caballero)。;Brian J.,午餐。;理查德·尤伯(Richard P.Uber)。
相关软件: 普里巴斯;挤压探测;DiffSharp…
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

DPPN公司

6篇文献引用(2005–2010)
软件作者: 朱利奥·克莱姆普纳
相关软件:
主要字段: 差分方程和函数方程(39-XX);统计学(62-XX);计算机科学(68-XX)…

格兰德

6篇文献引用(2017–2023)
软件作者: Zegard,T。;波利诺,GH
相关软件: PolyTop;Matlab;EBF3PanelOpt…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);可变形固体力学(74-XX)

MCTS解决方案

6篇文献引用(2008–2023)
软件作者: Mark H.M.Winands,Yngvi Björnsson,Jahn-Takeshi Saito
相关软件: AlphaZero;背包;全球投资银行
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

QUASY公司

6篇文献引用(2011–2021)
软件作者: 克里希南多·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;巴巴拉·乔布斯曼(Barbara Jobstmann);罗希特·辛格
相关软件: 棱镜;摩卡;PRISM-games…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

TORCS公司

5份文件引用(2010–2022)
软件作者: Wymann B、Dimitrakakis C、Sumner A、Espie E、Guionneau C、Coulom R
相关软件: OpenAI健身房;AirSim;卡拉…
主要字段: 统计学(62-XX);计算机科学(68-XX);粒子和系统力学(70-XX)…

图格拉布

6篇文献引用(2012–2021)
软件作者: 米盖尔·安杰尔·米拉斯·卡尔沃;埃斯特拉·桑切斯·罗德里格斯
相关软件: 标杆管理;sfa;DEAFrontier…
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

阿尔法张量

5份文件引用(2022–2023)
软件作者: Alhussein Fawzi;Balog,Matej;黄,Aja;托马斯·休伯特(Thomas Hubert);罗梅拉·佩雷斯,贝尔纳迪诺;穆罕默德·巴雷卡坦;亚历山大·诺维科夫(Alexander Novikov);弗朗西斯科·鲁伊斯(Francisco J.R.Ruiz)。;朱利安·施里特维瑟(Julian Schrittwieser);Swirszcz,Grzegorz;Silver,David;哈萨比斯、黛米斯;科利,普希米特
相关软件: oneAPI;ScaLAPACK;LAPACK…
主要字段: 总体主题;藏品(00-XX);线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX)…

精灵

引用于2份文件(2018–2022)
软件作者: 田远东、龚曲成、尚文玲、吴宇欣、C·劳伦斯·齐特尼克
相关软件: OpenAI健身房;TensorFlow;MuJoCo…
主要字段: 计算机科学(68-XX);统计力学,物质结构(82-XX);生物学和其他自然科学(92-XX)

法国天然气公司

5份文件引用(2009–2023)
软件作者: 康威,J.H。
相关软件: Coq;毫升
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);积分方程(45-XX)…

HOMER(主页)

3份文件引用(2005–2013)
软件作者: 大卫·霍普金斯;C.-H.卢克·翁
相关软件: 灌篮;爆炸;GTRECS2…
主要字段: 计算机科学(68-XX)

长期平均价格

5份文件引用(2017–2022)
软件作者: Cameron Finucane;港元景;哈达斯·克雷斯·加济特
相关软件: TuLiP;PESSOA;SCOTS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

虚幻引擎

3份文件引用(2021–2022)
软件作者: 史诗游戏
相关软件: PELICANS公司;亚当;Unity3D…
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);流体力学(76-XX)…

合作游戏

4份文件引用(2021–2022)
软件作者: Jochen Staudacher、Johannes Anwander等人。
相关软件: 卢比;R;记录仪
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

深度合成

4份文件引用(2022–2023)
软件作者: Mohammadhosein Hasanbeig、Natasha Yogananda Jeppu、Alessandro Abate、Tom Melham、Daniel Kroening
相关软件: 基线;亚当;古罗比…
主要字段: 计算机科学(68-XX)

费恩游戏

4份文件引用(2020–2023)
软件作者: R.V.Harlander、S.Y.Klein、M.Lipp
相关软件: 阿克索德劳;QGRAF;剪切工具…
主要字段: 计算机科学(68-XX);量子理论(81-XX)

游戏

1份文件引用(2014)
软件作者: Z.Wei,S.T.延森
相关软件: 生物优化器;印章;BioProspector…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

博奕论

4份文件引用(2017–2022)
软件作者: 塞巴斯蒂安·卡诺·贝兰加
相关软件: R;游戏理论分配;Matlab…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

Jav适配器

4份文件引用(2015–2019)
软件作者: M.、Kästner、C.、Cazzola、W.、Götz、S.、Grebhahn、A.、Schöter、R.、Saake、G。
相关软件: 莫德;K校准仪;多重显示…
主要字段: 计算机科学(68-XX)

开放相对论

3份文件引用(2022–2023)
软件作者: Gerd Kortemeyer、Philip Tan、Zach Sherin、Ryan Cheu、Steven Schirra、Sonny Sidhu
相关软件: Motion4D;测地查看器;GYOTO…
主要字段: 拓扑群,李群(22-XX);微分几何(53-XX);粒子和系统力学(70-XX)…

OPTGAME3公司

4份文件引用(2013–2023)
软件作者: 德米特里·布鲁斯科;颈部,莱因哈德;多丽丝·贝伦斯(Doris A.Behrens)。
相关软件: Matlab公司
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

痔疮

3份文件引用(2019–2021)
软件作者: 梁和洪;Thanatipananda,Thotsaporn ``Aek'
相关软件: 有限公司;组织环境信息系统
主要字段: 概率论与随机过程(60-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

rlpyt公司

引用于2份文件(2021)
软件作者: 彼得·阿比尔·亚当·斯托克
相关软件: RLlib;ChainerRL;稳定基线…
主要字段: 计算机科学(68-XX)

社会保障部

4份文件引用(2008–2017)
软件作者:
相关软件: ISYDS公司
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

超中心性

4份文件引用(2017–2023)
软件作者: Saray Shai、Natalie Stanley、Clara Granell、Dane Taylor、Peter J.Mucha
相关软件: 卢万;github;ForceAtlas2…
主要字段: 组合数学(05-XX);偏微分方程(35-XX);计算机科学(68-XX)…

ViZDoom公司

3份文件引用(2018–2022)
软件作者: MichałKempka、Marek Wydmuch、Grzegorz Runc、Jakub Toczek、Wojciech Ja she kowski
相关软件: 亚当;AI2-THOR;MuJoCo…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

CAL公司

引用于2份文件(2001)
软件作者: 佐藤、Masahiko;Kameyama,Yukiyoshi;武提伊祖米
相关软件: 定理;Coq;自动…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

CG套件

3份文件引用(2019–2023)
软件作者: 亚伦·西格尔
相关软件:
主要字段: 群论与推广(20-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

康威人寿

3份文件引用(2012–2022)
软件作者: 纳撒尼尔·约翰斯顿
相关软件: 数学溢出;github;PicoSAT…
主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX)

损坏_节流

3份文件引用(2021–2023)
软件作者: 乔舒亚·卡尔森(Joshua Carlson);罗宾·伊格尔顿;杰西·杰森(Jesse Geneson);约翰·佩特鲁奇(John Petrucci);卡罗琳·莱因哈特;普雷图尔·森
相关软件: github;可拆卸图形.py;要检查的CopPlacements.py
主要字段: 组合数学(05-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

差异_游戏_逻辑

3份文件引用(2015–2022)
软件作者: 安德烈·普拉泽
相关软件: 凯伊迈拉;贝勒红;存档正式证据…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

EnvyMyCar公司

3份文件引用(2015–2018)
软件作者: 法比奥·加诺韦利;马西米利亚诺·科尔西尼;帕塔纳克,苏门答腊;马尔科·迪贝内代托
相关软件: 本地化人员;以色列解放军;科莱姆…
主要字段: 数学逻辑与基础(03-XX);一般拓扑(54-XX);数值分析(65-XX)…

ForMaRE公司

3份文件引用(2013–2018)
软件作者: 克里斯托夫·兰格;科林·罗亚特(Colin Rowat);曼弗雷德·科伯
相关软件: Isabelle/HOL;阿罗·吉巴德·萨特思韦特;稳定匹配…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

游戏

3份文件引用(2017)
软件作者: 廷格尔斯塔德,L。
相关软件: github;Versor;Ceres Solver…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

博弈论探索者

3份文件引用(2015年至2020年)
软件作者: 拉胡尔·萨瓦尼;伯恩哈德·冯·斯坦格尔
相关软件: 赌博;算法457;XGame…
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

迷宫基地

1份文件引用(2020)
软件作者: 赛因巴亚尔·苏赫巴托、亚瑟·斯拉姆、加布里埃尔·辛奈夫、索米斯·金塔拉、罗伯·弗格斯
相关软件: BWAPI;RMSprop;OpenAI健身房…
主要字段: 计算机科学(68-XX)

NIRA-3型

3份文件引用(2010–2016)
软件作者: 雅切克·克劳茨克;詹姆斯·祖科洛
相关软件: NIRA-GUI;PS温
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

无纤维蛋白纤维

引用于2份文件(2015–2017)
软件作者: 将参与
相关软件: 赫敏;标准;SmallCheck…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

OR-Gym公司

1份文件引用(2022)
软件作者: Christian D.Hubbs、Hector D.Perez、Owais Sarwar、Nikolaos V.Sahinidis、Ignacio E.Grossmann、John M.Wassick
相关软件: OpenAI健身房;古罗比;MIP学习…
主要字段: 变异微积分和最优控制;优化(49-XX);系统论;控制(93-XX)

PDT工具箱

引用于2份文件(2017–2019)
软件作者: 巴雷托,C。
相关软件: ABED;迪纳摩;EvoDyn-3…
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);生物学和其他自然科学(92-XX)

POGTGolog公司

引用于2份文件(2020–2021)
软件作者: 阿尔贝托·芬奇;托马斯·卢卡西维奇
相关软件: GTGolog;赌博;高尔夫
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

快速绘制数据集

3份文件引用(2020–2023)
软件作者: 谷歌
相关软件: github;新加坡存托凭证;Wasserstein GAN…
主要字段: 变异微积分和最优控制;优化(49-XX);概率论与随机过程(60-XX);统计学(62-XX)…

蟾蜍和青蛙

引用于2份文件(2009–2014)
软件作者: Thanatipananda,Thotsaporn Aek;多龙·泽尔伯格
相关软件: 枫树
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

算法848

引用于2份文件(2005–2011)
软件作者: 斯宾塞·D·谢尔曼。;西科尔斯基,K。
相关软件: BEDFix;minpack;TENSOLVE公司
主要字段: 算子理论(47-XX);数值分析(65-XX)

阿尼莫

引用于2份文件(2014–2018)
软件作者: Schivo S、Scholma J、van der Vet PE等人
相关软件: 动态记录仪;gplots;阴性…
主要字段: 生物学和其他自然科学(92-XX)

垃圾桶拉伸

引用于2份文件(2017–2022)
软件作者: 伯恩,M
相关软件: 乔科;OpenMPI;LEDA…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

CA动力学

引用于2份文件(2016–2020)
软件作者: 拉普提斯,Theophanes E。
相关软件: github
主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

公司编号

引用于2份文件(2021–2022)
软件作者: Afanassive,A。
相关软件: 鹦鹉螺;踪迹;数学…
主要字段: 组合数学(05-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

托架

1份文件引用(2023)
软件作者: 洪越范、蒂波·卢泰利尔、魏振琦、林丹
相关软件: DeepXlore;Frama-C;Dafny…
主要字段: 计算机科学(68-XX)

数据生物群

引用于2份文件(2021)
软件作者: 迈克尔·特伦
相关软件: 聚类验证;集群发现;R、 …
主要字段: 统计学(62-XX);计算机科学(68-XX)

DeepMind实验室

1份文件引用(2020)
软件作者: 查尔斯·比蒂(Charles Beattie)、乔尔·兹·雷波(Joel Z.Leibo)、丹尼斯·特普利亚辛(Denis Teplyashin)、汤姆·沃德(Tom Ward)、马库斯·温赖特(Marcus Wainwright)、海因里希·库特勒(Heinrich Küttler)、安德鲁·莱夫兰克(Andrew Lefrancq)、西蒙·格林(Simon Green)、维克特·巴尔德斯(Víctor Valdés)、埃米尔·萨迪克(Amir Sadik)、朱利安·施里特维瑟
相关软件: 埃尔朗;射线;TensorFlow…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

egtplot程序

在0个文档中引用
软件作者: 伊诺姆·米尔扎耶夫;Drew FK Williamson;雅各布·G·斯科特
相关软件: ABED;PDToolbox;发电机…
主要字段:

埃里斯卡

引用于2份文件(2009–2015)
软件作者: J.R.朗利。
相关软件:
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Evoplex公司

在0个文档中引用
软件作者: 马科斯·卡迪诺;科尔姆·奥里奥丹(Colm O'Riordan);约瑟芬·格里菲斯;马蒂亚·珀尔
相关软件: 梅萨;NetLogo;代理.jl…
主要字段:

GADAPT公司

引用于2份文件(2019–2023)
软件作者: 拉斯·斯特凡;朱全燕
相关软件: HyRiM;R(右)
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

游戏

1份文件引用(2017)
软件作者: 布伦顿·肯克尔;柯蒂斯·西诺里诺
相关软件: R;配方;字符串…
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX)

GPGame游戏

引用于2份文件(2019–2020)
软件作者: 米凯尔·比诺伊斯·维克托·皮奇尼
相关软件: PESC;R;Keras…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

图形B

引用于2份文件(2021–2022)
软件作者: 卢卡斯·鲁斯纳克;杰琳娜·特西奇
相关软件: github;SNAP;NetworkX…
主要字段: 组合数学(05-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

汉诺普3

1份文件引用(2009)
软件作者: M.A.Guevara、L.Rizo、M.Ruiz-Díaz、M.Hernández-González
相关软件:
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

筛选结果依据…

全部的 前5名

相关软件