×

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

Ipopt公司

930份文件引用(2005–2024)
软件作者: 安德烈亚斯·瓦希特(Andreas Waechter)、卡尔·莱尔德(Carl Laird)
相关软件: AMPL;SNOPT;CPLEX…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…

SDPT3系统

767份文件引用(1986年至2024年)
软件作者: Toh,K.C。;托德,M.J。;TüTüncü,R.H。
相关软件: 塞杜米;YALMIP;CVX…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

交易.ii

723份文件引用(1999–2024)
软件作者: Bangerth W、Hartman R、Kanschat G
相关软件: 特里利诺斯;PETSc;测试…
主要字段: 偏微分方程(35-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…

玻璃制品

641份文件引用(2008–2024)
软件作者: 拉胡尔·马祖姆德(Rahul Mazumder);特雷弗·哈斯蒂;J.弗里德曼,T。;R.蒂比拉尼
相关软件: R;glmnet;巨大…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

TETRAD公司

483份文件引用(1993–2024)
软件作者: 克拉克·格雷摩尔(Clark Glymour);理查德·谢恩斯(Richard Scheines);彼得·斯皮特斯;约瑟夫·拉姆齐
相关软件: pcalg;R;bn学习…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);统计学(62-XX)…

Nuprl公司

418份文件引用(1986–2023)
软件作者: R.L.Constable、S.F.Allen、H.M.Bromley、W.R.Cleaveland、J.F.Cremer、R.W.Harper、D.J.Howe、T.B.Knoblock、N.P.Mendler、P.Panangaden、J.T.Sasaki、S.F Smith
相关软件: Coq;HOL;自动…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

生物导体

引用于253份文件(2003–2024)
软件作者: 开放式开发项目
相关软件: R;gcrma;edgeR…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

阿尔戈68

280篇文献引用(1969–2019)
软件作者: van Wijngaarden,A.作者简介;梅勒鲁,B.J。;Peck,J.E.L。;科斯特,C.H.A。;辛佐夫,M。;Lindsey,C.H。;Meertens,L.G.L.T。;费斯克,R.G。
相关软件: ALGOL 60;Simula 67;Ada95…
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);数值分析(65-XX)…

邦明

235篇文献引用(1995–2023)
软件作者: 皮埃尔·博纳米;Lorenz T.Biegler。;Andrew R.康涅狄格。;科努约尔,热拉尔;格罗斯曼,伊格纳西奥·E·。;卡尔·D·莱尔德。;Jon Lee;安德里亚·洛迪;弗朗索瓦·马戈;尼古拉斯·萨瓦亚;安德烈亚斯·瓦赫特
相关软件: Ipopt;CPLEX;SCIP…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

针织衫

219篇文献引用(2003–2024)
软件作者: 青蒿;Ziena Optimization,R.Byrd,J.Nocedal,R.Waltz
相关软件: Ipopt;SNOPT;AMPL…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…

DUNE公司

191份文件引用(2006–2023)
软件作者: P.Bastian、M.Blatt、A.Dedner、C.Engwer、R.Klöfkorn、R.Kornhuber、M.Ohlberger、O.Sander
相关软件: PDELab;交易.ii;DuMuX…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

快速排序

179份文件引用(1962–2023)
软件作者: C.A.R.霍尔。;塞奇威克,R
相关软件: 查找;heapsort;算法347…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

SDPLR公司

175份文件中引用(1990–2024)
软件作者: Samuel Burer、Renato Monteiro、Changhui Cho
相关软件: SDPT3;塞杜米;CSDP…
主要字段: 变异微积分和最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

RStan(RStan)

133篇文献中引用(2015–2024)
软件作者: 郭继强;等。
相关软件: R;rstan;斯坦…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

RcppArmadillo公司

70篇文献引用(2012–2023)
软件作者: 罗曼·弗朗索瓦(Romain Francois)、德克·埃德布特尔(Dirk Eddelbuettel)、道格·贝茨(Doug Bates)
相关软件: R;Rcpp;犰狳…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

C-XSC 2.0版

128篇文献引用(1979–2023)
软件作者: 沃纳·霍夫舒斯特;沃尔特·克雷默;R.克拉特
相关软件: C-XSC;国际实验室;进入PT_90…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

cdd(光盘)

130篇文献引用(1996年-2023年)
软件作者: 福田康美
相关软件: 多品牌;格凡;cddplus…
主要字段: 代数几何(14-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

SETHEO公司

118篇文献引用(1990–2022)
软件作者: Letz,R。;舒曼,J。;拜耳,S。;比贝尔,W。
相关软件: TPTP;水獭;SPASS…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

帕拉梅什

109篇文献引用(2000–2023)
软件作者: P.MacNeice、K.M.Olson、C.Mobarry、R.de Fainchtein、C.Packer
相关软件: Chombo;闪光;Gerris…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

MINL库

109篇文献引用(2002–2023)
软件作者: Michael R.Bussieck。;阿恩·斯托尔伯格(Arne Stolbjerg Drud);亚历山大·米罗斯
相关软件: SCIP;Ipopt;BARON…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

吉纳碳

92份文件引用(2002–2024)
软件作者: 欧洲专利局(EPO);C.W.Bauer、A.Frink、R.Kreckel
相关软件: 表格;雷杜泽;火灾…
主要字段: 复变量函数(30-XX);几何(51-XX);数值分析(65-XX)…

PASCAL-XSC公司

99篇文献引用(1991–2022)
软件作者: Klatte,R.、Kulisch,U.、Neaga,M.、Ratz,D.、Ullrich,Ch、Januschke,P.、Ratz,D。
相关软件: C-XSC;C-XSC 2.0;ACRITH-XSC…
主要字段: 近似和展开(41-XX);数值分析(65-XX);计算机科学(68-XX)…

熊猫

21篇文献引用(2016–2023)
软件作者: 麦金尼
相关软件: 蟒蛇;数字Py;科学…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

seL4级

92份文件引用(2009–2023)
软件作者: Klein,G.、Elphinstone,K.、Heiser,G.,Andronick,J.、Cock,D.、Derrin,P.、Elkaduwe,D.、Engelhardt,K.,Kolanski,R.、Norrish,M.、Sewell,T.、Tuch,H.、Winwood,S。
相关软件: Isabelle/HOL;Coq;伊莎贝尔…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX)…

rstan公司

89份文件引用(2017–2024)
软件作者: 郭继强、乔纳·加布里、本·古德里奇、丹尼尔·李、科兹托夫·萨克雷吉达、奥列格·斯克莱尔、延斯·奥赫施莱格尔·阿基约希、哈德利·威克姆、乔尔·德古兹曼、约翰·弗莱彻、托马斯·海勒、埃里克·尼伯勒
相关软件: RStan;R;斯坦…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

SDPNAL公司+

94份文件引用(2014–2024)
软件作者: 杨柳琴;孙德峰;杜金川
相关软件: SDPT3;塞杜米;QSDPNAL…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变异微积分和最优控制;优化(49-XX);统计学(62-XX)…

查找

90篇文献引用(1972–2023)
软件作者: C.A.R.霍尔
相关软件: 快速分拣;算法347;任天堂中位数…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

赛马拉松

54篇文献引用(2008–2023)
软件作者: Behnel,S.、Bradshaw,R.、Dalcín,L.、Florisson,M.、Makarov,V.、Seljebotn,D.S。
相关软件: 蟒蛇;数字Py;科学…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

STL公司

72份文件引用(1997–2021)
软件作者: 大卫·穆瑟(David R.Musser)、亚历山大·斯捷潘诺夫(Alexander Stepanov)
相关软件: 促进;增强C++库;CGAL…
主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)…

GenStat公司

71篇文献引用(1984–2022)
软件作者: VSN国际;Payne,R.W.、Murray,D.A.、Harding,S.A.、Baird,D.B.、Soutar,D.M。
相关软件: R;SAS;ASReml…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

科莱姆

65篇文献引用(2000–2023)
软件作者: 德尼古拉,R。;法拉利,G.L。;普格利泽,R。
相关软件: 琳达;克拉瓦;SCEL…
主要字段: 数学逻辑与基础(03-XX);一般拓扑(54-XX);计算机科学(68-XX)…

巴贝尔

72份文件引用(1988–2013)
软件作者: 马里奥·罗德里格斯-阿塔莱霍
相关软件: 核叶;玩具;咖喱…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

简单MKL

66份文件引用(2008–2023)
软件作者: 阿兰·拉科托莫蒙吉;巴赫,弗朗西斯·R。;圣埃芬省卡努;伊夫·格兰德瓦莱特
相关软件: SHOGUN公司;LIBSVM;UCI-ml…
主要字段: 功能分析(46-XX);统计学(62-XX);计算机科学(68-XX)…

SSVM(SSVM)

67篇文献引用(2001–2023)
软件作者: Lee,Yuh-Jye;O.L.,Mangasarian。
相关软件: UCI-ml;RSVM;LIBSVM…
主要字段: 变异微积分和最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

ADBASE公司

64篇文献引用(1983–2019)
软件作者: 斯图尔R.E。
相关软件: EFFACET公司;TRIMAP;BENSOLVE…
主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…

PLAPACK系列

60篇文献引用(1998–2019)
软件作者: P.Alpatov、G.Baker、C.Edwards、J.Gunnels、G.Morrow、J.Overfelt、R.van de Geijn和Y.J.Wu,
相关软件: ScaLAPACK;LAPACK;BLAS…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

SAMRAI公司

51篇文献引用(2002–2023)
软件作者: 理查德·霍农(Richard D.Hornung)。;斯科特·科恩。
相关软件: PETSc;炒作;帕拉梅什…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

COMAL公司

1份文件引用(1982年)
软件作者: 本尼迪克特·洛伊夫斯特德;博尔赫·克里斯滕森
相关软件:
主要字段: 计算机科学(68-XX)

OpenMx(OpenMx)

39篇文献引用(2006–2023)
软件作者: 史蒂文·博克(Steven Boker);迈克尔·尼尔;赫尔敏·梅斯(Hermine Maes);迈克尔·王尔德;迈克尔·施皮格尔(Michael Spiegel);蒂莫西·布里克;间谍,杰弗里;雷恩·埃斯塔布鲁克;莎拉·肯尼;蒂莫西·贝茨(Timothy Bates);梅塔,帕拉斯;约翰·福克斯
相关软件: R;Mplus;熔岩…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

阿尔法ECP

51篇文献引用(2002–2022)
软件作者: Westerlund T。;波恩·R。
相关软件: 邦明;BARON公司;Ipopt…
主要字段: 凸和离散几何(52-XX);统计学(62-XX);数值分析(65-XX)…

二次规划优化函数

39篇文献引用(2007–2024)
软件作者: A.图拉赫;安德烈亚斯·温格尔
相关软件: R;科恩拉布;卡帕拉布…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…

新鲜ml

在48份文件中引用(2003–2021)
软件作者: Shinwell,M.R.、Pitts,A.M.、Gabbay,M。
相关软件: Coq;名义上的伊莎贝尔;Twelf…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);一般代数系统(08-XX)…

QSDP公司

50篇文献引用(2006–2023)
软件作者: Kim-Chuan Toh;R.H.Tutucu;M.J.托德
相关软件: SDPT3;QSDPNAL;Matlab…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…

跳苏格兰威士忌

在48份文件中引用(1971–2024)
软件作者: A.R.古雷。
相关软件: 罗德斯;DLMF;COMSOL…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

VRP溶剂

44篇文献引用(2019–2023)
软件作者: 佩索阿,A.,萨迪科夫,R.,乌恰,E.,范德贝克,F。
相关软件: VRP;BaPCod;CVRPSEP…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

灵活的

36篇文献引用(2017–2023)
软件作者: 佩里·德瓦尔平(Perry de Valpine)、克里斯托弗·帕西奥雷克(Christopher Paciorek)、丹尼尔·图雷克(Daniel Turek)和克利夫·安德森·伯格曼(Cliff Anderson-Bergman)、邓肯·坦普尔·朗
相关软件: R;斯坦;卡爪…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

QSDPNAL公司

引用于40篇文献(2016–2024)
软件作者: Li,X.D.,Sun,D.F.,Toh。K.-C.公司。
相关软件: SDPNAL+;QSDP;SDPT3…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

近似值

37篇文献引用(2011–2023)
软件作者: 卢西安·布索尼乌
相关软件: ElemStatLearn;Scikit;Python…
主要字段: 变异微积分和最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

同位素

32篇文献引用(2012–2023)
软件作者: de Leeuw,J.、Hornik,K.、Mair,P。
相关软件: R;Iso;coneproj…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

MoDeST公司

引用于33份文件(2001–2022)
软件作者: 佩德罗·R·D’Argenio。;霍尔格赫尔曼斯;Joost-Pieter Katoen;里克·克拉伦
相关软件: 棱镜;Uppaal;高科技…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

COLAMD公司

34份文件引用(2000–2022)
软件作者: Timothy A.戴维斯。;约翰·吉尔伯特(John R.Gilbert)。;斯特凡·拉里莫尔。;Ng、Esmond G。
相关软件: 稀疏矩阵;Matlab;UMFPACK…
主要字段: 组合数学(05-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…

DSPCA公司

在35份文件中引用(2005–2015)
软件作者: 亚历山大·阿斯普雷蒙特(Alexandre d'Aspremont)、劳伦特·埃尔·加维(Laurent El Ghaoui)、迈克尔·乔丹(Michael I.Jordan)、格特·兰克里特(Gert R.G.Lanckriet)、罗尼·卢斯
相关软件: 塞杜米;SDPT3;SDPLR…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

ZQPCVX公司

34份文件引用(1985–2022)
软件作者: M.J.D.鲍威尔。
相关软件: QPSchur公司;QPOPT;MA57…
主要字段: 变异微积分和最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

Cg公司

18篇文献引用(2006–2012)
软件作者: 威廉·R·马克;R.Steven Glanville;库尔特·阿克利(Kurt Akeley);马克·基尔加德
相关软件: CUDA;OpenGL;OpenCL…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

CVXR公司

27篇文献引用(2019–2023)
软件作者: 傅安琪(Anqi Fu)、巴拉苏布拉曼尼亚人(Balasubramanian Narasimhan)、斯蒂芬·博伊德(Stephen Boyd)
相关软件: CVX;CVXPY;R、 …
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

dSPIN公司

22篇文献引用(2000–2014)
软件作者: Demartini,C.,Iosif,R.,Sisto,R。
相关软件: 自旋蛋白;班德拉;Java PathFinder…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

INTBIS公司

31份文件引用(1990–2018)
软件作者: Kearfott,R.Baker;曼努埃尔三世诺沃亚
相关软件: INTLIB;IbexOpt;数值…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…

POMDP公司

30篇文献引用(2001–2023)
软件作者: 安东尼·卡桑德拉。
相关软件: 棱镜;风暴;古罗比…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

刚毛

28篇文献引用(1986–2023)
软件作者: 施瓦茨,J.T。;杜瓦,R.B.K。;杜宾斯基,E。;肖恩伯格,E。
相关软件: Z;JSetL;裁判…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);一般代数系统(08-XX)…

伊甸园

23篇文献引用(2001–2018)
软件作者: U.Klusik、Y.Ortega-Mallén、R.Peña
相关软件: 哈斯克尔;胶;GHC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PAKCS公司

25篇文献引用(1994–2020)
软件作者: M.Hanus、S.Antoy、B.Braßel、M.Engelke、K.Höppner、J.Koj、P.Niederau、R.Sadre、F.Steiner
相关软件: 玩具;咖喱;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

电子控制面板

20篇文献引用(2015–2023)
软件作者: Nicholas A.James、Wenyu Zhang、David S.Matteson
相关软件: 转折点;wbs;R、 …
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);地球物理学(86-XX)…

FDR标签

22篇文献引用(2016–2023)
软件作者: 李,豪森;阿克塞尔·蒙克;席琳,汉内斯
相关软件: wbs;R;早餐…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);运筹学,数学编程(90-XX)…

mipmatch公司

27篇文献引用(2012–2023)
软件作者: Jos'e R.祖比扎雷塔。
相关软件: DOS;精细平衡;nbpMatching…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

BoTorch公司

23篇文献引用(2021–2024)
软件作者: 马克西米利安·巴兰达(Maximilian Balandat)、布莱恩·卡勒(Brian Karrer)、丹尼尔·江泽民(Daniel R.Jiang)、塞缪尔·道尔顿(Samuel Daulton)、本杰明·莱瑟姆(Benjamin Letham)、安德鲁·戈登·威尔
相关软件: PyTorch;薄荷;GPyTorch…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

色度

24篇文献引用(2009–2023)
软件作者: 爱德华兹,R.G。;乔,B。
相关软件: 量子点;TwoHadronsInBox;TRLan…
主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)…

达卡波

15篇文献引用(2009–2023)
软件作者: Blackburn,S.M.、Garner,R.、Hoffman,C.、Khan,A.M.、McKinley,K.S.、Bentzur,R.,Diwan,A.、Feinberg,D.、Frampton,D.、Guyer,S.Z.、Hirzel,M.、Hosking,A.、Jump,M.,Lee,H.、Moss,J.E.B.、Phansalkar,A.、Stefanovic,D.、VanDrunen,T.、von Dincklage,D.和Wiedermann,B
相关软件: 烟尘;方面J;SPECjvm2008…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

PolyTOIL公司

19份文件引用(1997–2014)
软件作者: Bruce,K.,Schuett,A.,van Gent,R.,Fiech,A。
相关软件: 羽量级Java;埃菲尔;Smalltalk…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

阿尔法赫尔

20篇文献引用(2012–2022)
软件作者: Beatriz Pateiro-Lopez、Alberto Rodriguez-Casal
相关软件: R;几何;spatstat…
主要字段: 测量和集成(28-XX);概率论与随机过程(60-XX);统计学(62-XX)…

约束拉索

21篇文献引用(2018–2024)
软件作者: 布莱恩·R·盖恩斯。;Kim,Juhyun;周,华
相关软件: R;古罗比;glmnet…
主要字段: 算子理论(47-XX);统计学(62-XX);数值分析(65-XX)…

马尔卡尔

18篇文献引用(1985–2023)
软件作者: Fishbone,L.G.公司。;Giesen,G。;戈尔茨坦,G。;Hymmen,H.A。;股票,K.J。;沃斯·H。;王尔德,D。;Zoelcher,R。;巴尔泽,C。;H.阿比洛克。
相关软件: 梅赛格三世;EFOM 12C;Pypsa…
主要字段: 概率论与随机过程(60-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

21篇文献引用(2006–2022)
软件作者: 卢克·蒂尔尼(Luke Tierney);A.J.罗西尼。;李娜
相关软件: 雪;R;Rcpp…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

3份文件引用(2019–2023)
软件作者: Hjorth Larsen,A。;Jörgen Mortensen,J。;Blomqvist,J。;卡斯泰利,I.E。;Christensen,R。;Dułak先生。;弗里斯·J。;格罗夫斯,M.N。;锤子,B。;哈格斯,C。;Hermes,E.D。;P.C.詹宁斯。;Bjerre Jensen,P。;科尔莫德,J。;Kitchin,J.R。;Leonhard Kolsbjerg,E。;14库巴尔,J。;Kaasbjerg,K。;Lysgaard,S。;Bergmann Maronsson,J。;Maxson,T。;Olsen,T。;Pastewka,L。;彼得森,A。;罗斯加德,C。;希奥茨,J。;舒特,O。;奇怪,M。;蒂格森,K。;Vegge,T。;Vilhemsen,L.公司。;Walter,M。;曾,Z。;雅各布森,K.W
相关软件: 蟒蛇;俾斯麦根;数字标识…
主要字段: 概率论与随机过程(60-XX);可变形固体力学(74-XX);流体力学(76-XX)…

EVPI公司

20篇文献引用(1997–2020)
软件作者: M.A.H.Dempster和R.T.Thompson
相关软件: MSLiP;GAMS;SLP-IOR…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

RGtk2型

7份文件引用(2007–2019)
软件作者: 迈克尔·劳伦斯;邓肯寺朗
相关软件: R;GGobi;rggobi…
主要字段: 统计学(62-XX);计算机科学(68-XX)

SBB公司

20篇文献引用(2002–2023)
软件作者: Bussieck,M.R.,Drud,A。
相关软件: BARON公司;邦明;Ipopt…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…

SIPLIB公司

20篇文献引用(2009–2023)
软件作者: S.Ahmed、R.Garcia、N.Kong、L.Ntaimo、G.Parija、F.Qiu、S.Sen
相关软件: CPLEX;DSP;PySP…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

VORPAL公司

17篇文献引用(2004–2019)
软件作者: 切特·尼特(Chet Nieter);约翰·R·卡里。
相关软件: OSIRIS;快速采集;OOPIC…
主要字段: 数值分析(65-XX);流体力学(76-XX);光学、电磁理论(78-XX)…

cminor(小)

17篇文献引用(2007–2016)
软件作者: A.W.阿佩尔、S.布拉齐。
相关软件: Coq;CompCert;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Dlib毫升

16篇文献引用(2014年-2023年)
软件作者: 戴维斯·金
相关软件: Scikit;蟒蛇;Matlab…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

Rmosek公司

12份文件引用(2016–2021)
软件作者: 亨利克·弗里伯格(Henrik Friberg),莫斯科
相关软件: 莫塞克;R;REBayes…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX)

中国科学院科学院

18篇文献引用(2018–2023)
软件作者: 华金·阿里亚斯(Joaquin Arias)、曼努埃尔·卡罗(Manuel Carro)、埃尔默·萨拉查(Elmer Salazar)、凯尔·马普尔(Kyle Marple)、戈帕尔·古普塔(Gopal Gupta)
相关软件: 克林戈;ezcsp;格林戈…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

TXL(热膨胀)

13份文件引用(2005–2022)
软件作者: 詹姆斯·科迪。
相关软件: Stratego;ASF+SDF;JastAdd…
主要字段: 计算机科学(68-XX)

德尔芬

17篇文献引用(2003–2020)
软件作者: Schürmann,C.、Fontana,R.、Liao,Y.、Poswolsky,A。
相关软件: Twelf公司;Coq;白鲸…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

InterProScan公司

6篇文献引用(2009–2022)
软件作者: E.Quevillon、V.Silventoinen、S.Pillai、N.Harte、N.Mulder、R.Apweiler、R.Lopez
相关软件: 爆炸;PSI-爆炸;UniProt…
主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

SoDA公司

17篇文献引用(2004–2023)
软件作者: 约翰·钱伯斯。
相关软件: R;晶格;质量(R)…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…

FASTCLIME公司

16篇文献引用(2014年-2023年)
软件作者: 庞浩天;刘,韩;罗伯特·范德贝
相关软件: 玻璃;QUIC;R、 …
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

FODD-计划

15篇文献引用(2008–2022)
软件作者: Joshi,S。;R.卡顿。
相关软件: FluCaP;图形平面图;高尔夫…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

GDB公司

15篇文献引用(1998–2023)
软件作者: R.Stallman;R.佩奇
相关软件: 瓦尔格林德;自旋蛋白;日晷…
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…

mlr3号机组

6篇文献引用(2021–2023)
软件作者: Michel Lang、Bernd Bischl、Jakob Richter、Patrick Schratz、Giuseppe Casalicchio、Stefan Coors、Quay Au、Martin Binder
相关软件: R;Scikit;mlr…
主要字段: 统计学(62-XX);计算机科学(68-XX)

Mtac公司

16篇文献引用(2013–2021)
软件作者: Ziliani,贝塔;德里克·德雷尔(Derek Dreyer);Krishnaswami,Neelakantan R。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯
相关软件: Coq;阿格达;Idris…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

pyMDO公司

13份文件引用(2008–2018)
软件作者: 内森·特福德。;Joaquim R.R.A.Martins。
相关软件: SNOPT;蟒蛇;科学工具…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

pyOpt选项

14篇文献引用(2012–2023)
软件作者: 鲁本·佩雷斯(Ruben E.Perez)。;彼得·詹森(Peter W.Jansen)。;Joaquim R.R.A.Martins。
相关软件: SNOPT;顶部.m;Python…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…

cddplus

15篇文献引用(2001–2023)
软件作者: 福田康美
相关软件: cdd;多品牌;幸福…
主要字段: 组合数学(05-XX);代数几何(14-XX);凸和离散几何(52-XX)…

Cells公司

9份文件引用(2009–2019)
软件作者: 佩雷斯,J.M。;Bellens,P。;巴迪亚,R.M。;J·拉巴特。
相关软件: 英特尔TBB;CUDA;血浆…
主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

Emacs公司

15篇文献引用(1991–2013)
软件作者: 迈克尔·肖诺弗。;约翰·S·鲍伊(John S.Bowie)。;威廉·R·阿诺德。
相关软件: 不及物动词;OCaml;自动…
主要字段: 总体主题;藏品(00-XX);交换代数(13-XX);计算机科学(68-XX)

可视化DSD

15篇文献引用(2013年-2023年)
软件作者: Lakin,M.R.、Youssef,S.、Polo,F.、Emmott,S.和Phillips,A。
相关软件: 棱镜;z3;Yosys…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)…

ADMBB公司

7份文件引用(2019–2022)
软件作者: 罗、赫志;白晓迪;Lim,Gino;彭继明
相关软件: CPLEX;QuadProgBB;BARON…
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

贝叶斯

在14份文件中引用(2014年-2023年)
软件作者: 克里斯蒂安·罗伯特
相关软件: R;拜耳主义;abcrf…
主要字段: 统计学(62-XX);计算机科学(68-XX);天文学和天体物理学(85-XX)…

BoogiePL公司

11份文件引用(2005–2020)
软件作者: DeLine,R.,Leino,K.R.M。
相关软件: z3;规格#;布吉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件