×

找到438个软件包(结果1–100)

DLMF公司

3806文件引用(2000–2024)
软件作者: 丹尼尔·洛泽尔(Daniel W.Lozier)。
相关软件: Mathematica;Matlab;OEIS…
主要字段: 特殊功能(33-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…

LMI工具箱

1493年文献引用(1995–2024)
软件作者: 数学作品;Gahinet,P。;内米洛夫斯基,A。;劳布,A.J。;M.奇拉利。
相关软件: Matlab;控制系统工具箱;YALMIP…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);运筹学,数学编程(90-XX)…

生物导体

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

针织品

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

无人值守地面

185篇文献引用(1994–2021)
软件作者: Bastian,P。;伯肯,K。;Johannsen,K。;朗·S。;纽伊,N。;伦茨·雷切尔,H。;维纳斯,C。
相关软件: DUNE;PETSc;PLTMG…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

Smalltalk公司

168篇文献引用(1983–2018)
软件作者: Alan Kay、Dan Ingalls、Adele Goldberg、Ted Kaehler、Scott Wallace
相关软件: 埃菲尔;Simula 67;Ada95…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…

ETPS公司

162篇文献引用(1986–2022)
软件作者: 彼得·安德鲁斯(Peter Andrews)、马修·毕晓普(Matthew Bishop)、查德·布朗(Chad E.Brown)、苏尼尔·伊萨尔(Sunil Issar)、丹·内史密斯(Dan Nesmith)、弗兰克·普芬宁(Frank Pfenning
相关软件: TPS;Isabelle/HOL;HOL…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

薄荷糖

138篇文献引用(1993年至2022年)
软件作者: G.L.Nemhauser、M.W.P.Savelsbergh、G.S.Sigismondi
相关软件: CPLEX;阿巴克斯;MIPLIB…
主要字段: 历史与传记(01-XX);凸和离散几何(52-XX);数值分析(65-XX)…

MIPLIB2003公司

130篇文献引用(2005–2023)
软件作者: 亚历山大·马丁;托比亚斯·阿切特贝格(Tobias Achterberg);托尔斯滕·科赫:杰拉尔德·加姆拉斯
相关软件: MIPLIB公司;SCIP;CPLEX…
主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

AK-MCS公司

102份文件引用(2012–2023)
软件作者: B.Echard、N.Gayton、M.Lemaire
相关软件: 鲮鱼;EGO;UQLab…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

TAF公司

88篇文献引用(1998–2023)
软件作者: 拉尔夫·吉林;托马斯·卡明斯基;FastOpt股份有限公司
相关软件: TAMC;ADIFR;锥体…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

qpOASES公司

83份文件引用(2008–2023)
软件作者: H.J.Ferreau、C.Kirches、A.Potschka、H.G.Bock、M.Diehl
相关软件: fast_mpc;Ipopt;CVXGEN…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

PostgreSQL

55份文件引用(2000–2023)
软件作者: ——
相关软件: 神谕;MySQL;MS SQL Server…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

SU2公司

77份文件引用(2014–2023)
软件作者: T.D.Economon、F.Palacios、S.R.Copeland、T.W.Lukaczyk、J.J.Alonso
相关软件: OpenFOAM;Spalart-Allmaras;Gmsh…
主要字段: 统计学(62-XX);数值分析(65-XX);变形固体力学(74-XX)…

CUBIT公司

77份文件引用(1996–2023)
软件作者: 桑迪亚国家实验室
相关软件: PETSc;特里利诺斯;Gmsh…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

量子浓缩咖啡

68篇文献引用(2010–2024)
软件作者: Giannozzi,P.、Baroni,S.、Bonini,N.、Calandra,M.、Car,R.、Cavazzoni,C.、Ceresoli,D等人。
相关软件: 阿比尼特;瓦尼尔90;lobpcg.m…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

gnuplot卫星

59篇文献引用(1995–2024)
软件作者: 威廉姆斯,T。;凯利,C。
相关软件: LAPACK;朱莉娅;Matplotlib…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

PS温

76篇文献引用(2007–2023)
软件作者: 瓦兹,A.I.F。;Vicente,法律公告。
相关软件: MultiMin;NOMAD公司;MCS…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

FPC_AS公司

77份文件引用(2010–2023)
软件作者: 温再文、尹沃涛
相关软件: PDCO;SPGL1;TwIST…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

加拉哈德

67篇文献引用(2003–2023)
软件作者: Nicholas I.M.Gould、Dominique Orban、Philippe L.Toint
相关软件: 切割机;12月6日;切割…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

农业部

41篇文献引用(2013–2023)
软件作者: 阿尔伯特·比菲;杰夫·霍姆斯;伯恩哈德·普法林格
相关软件: UCI-ml;威卡;Scikit…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

RegulonDB公司

30篇文献引用(2002–2020)
软件作者: Gama-Castro,S。;Jimenez-Jacinto,V。;佩拉尔塔·吉尔,M。;Santos-Zavaleta,A。;佩尼亚洛扎·斯皮诺拉,M.I。;孔特雷拉斯·莫雷拉,B。;Segura-Salazar,J。;Muñiz-Rascado,L。;马丁内斯·弗洛雷斯,I。;萨尔加多,H。;Bonavides-Martinez,C。;Abreu-Goodger,C。;罗德里格斯-佩纳戈斯,C。;Miranda-Ríos,J。;Morett,E。;梅里诺,E。;韦尔塔,A.M。;Treviño-Quintanilla,L。;科拉多·维德斯,J。
相关软件: KEGG;阿拉伯国家石油公司;GeneNetWeaver…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

康林

50篇文献引用(1988–2020)
软件作者: C.弗勒里
相关软件: 顶部.m;前88米;SCPIP…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…

12月运行

41篇文献引用(2000–2024)
软件作者: K.G.Chetyrkin、J.H.Kuhn、M.Steinhauser
相关软件: 形式;CRunDec;数学…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);量子理论(81-XX)…

MonoSLAM公司

32篇文献引用(2008–2022)
软件作者: A.J.Davison、I.D.Reid、N.D.Molton、O.Stasse
相关软件: SIFT;FastSLAM;SURF…
主要字段: 数值分析(65-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

C-CoRN公司

41篇文献引用(2004–2023)
软件作者: 亨克·巴伦德雷格特、文斯·巴兰尼、路易斯·克鲁兹·菲利佩、赫尔曼·基弗斯、马吕斯·吉埃罗、里克·范·吉尼肯、迪米特里·亨德里克斯、塞巴斯蒂安·欣德勒、塞萨里·卡利西克、B.W.M.柯克尔斯、皮埃尔·勒图泽伊、艾里斯·勒布、莱昂内尔·马马内姆·米拉德·尼基、罗素·奥康纳、兰迪·波拉克、尼克莱·施梅里夫、巴斯佩特斯、丹·辛克、弗里克·威迪杰克、扬·茨瓦恩堡
相关软件: Coq;米扎尔;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);实函数(26-XX);数值分析(65-XX)…

卡斯卡德7

41篇文献引用(1990–2023)
软件作者: 马丁·韦瑟、安东·希拉、塞巴斯蒂安·戈切尔、拉尔斯·卢布科尔、博多·埃尔德曼、卢茨·韦曼
相关软件: DUNE;PLTMG;UG…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

CoLoR公司

40篇文献引用(2006–2022)
软件作者: F.Blanqui、W.Delobel、S.Coupet-Grimal、S.Hinderer、A.Koprowski
相关软件: Coq;Isabelle/HOL;CeTA…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX)…

NeNMF公司

34份文件引用(2012–2024)
软件作者: N.Guan、D.Tao、Z.Luo、B.Yuan
相关软件: 费雷特;RCV1;AR人脸…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

同位素

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

frlib公司

引用于33份文件(2015–2023)
软件作者: 宾夕法尼亚州帕里罗Percenter F
相关软件: 无斑点;莫塞克;SDPT3…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX);凸和离散几何(52-XX)…

歧管

28篇文献引用(1993–2023)
软件作者: 博桑格,M.M。;Arbab,F。;德·巴克尔,J.W。;Rutten,J.J.M.M。;A.斯库特拉。
相关软件: 琳达;里奥;石灰…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

凸面.jl

27篇文献引用(2015–2023)
软件作者: Karanveer Mohan、Madeline Udell、David Zeng、Jenny Hong
相关软件: CVX;CVXPY;朱莉娅…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

乔坎尔

26篇文献引用(2000–2022)
软件作者: Fornet,塞德里克;Le Fessant,Fabrice公司;Luc Maranget;阿兰·施密特
相关软件: 皮克特;OCaml;PiDuce…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

更加顽固

23篇文献引用(2009–2023)
软件作者: 罗伯特·G·布朗;德克·埃德布特尔;大卫·鲍尔
相关软件: 测试U01;迪哈德;MersenneTwister…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

Duali公司

26篇文献引用(1997–2020)
软件作者: David A.Kendrick。;马克·佩·图奇(Marco P.Tucci)。;Hans M.安曼。
相关软件: 双PC;迪纳尔;LMI工具箱…
主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);运筹学,数学编程(90-XX)…

SIMGRID公司

18篇文献引用(2002–2020)
软件作者: H.卡萨诺娃
相关软件: 网格模拟;OptorSim;MicroGrid…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

TOUGHREACT公司

23篇文献引用(2009–2023)
软件作者: Xu,T.、Sonnenthal,E.、Spycher,N.、Pruess,K
相关软件: PFLOTRAN;水文地球化学;CrunchFlow…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

卡布里

5份文件引用(1994–2010)
软件作者: CABRILOG SAS公司
相关软件: 灰姑娘;GeoGebra;几何画板…
主要字段: 几何(51-XX);计算机科学(68-XX);数学教育(97-XX)

质量保证计划

20篇文献引用(1991–2016)
软件作者: 尼古拉斯·I.M.古尔德。;马桶,菲利普·L。
相关软件: MA57;SNOPT;qpOASES…
主要字段: 数学逻辑与基础(03-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

魅力

18篇文献引用(2014–2023)
软件作者: Akinyele,J.A.、Garman,C.、Miers,I.、Pagano,M.W.、Rushanan,M.、Green,M.和Rubin,A.D。
相关软件: github;遗迹;PBC图书馆…
主要字段: 代数几何(14-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…

DRED公司

17篇文献引用(2002年-2023年)
软件作者: 詹姆斯·埃维娅(James Aweya);米歇尔·欧莱特(Michel Ouellette);德尔芬·蒙图诺。
相关软件: ns-2;TISEAN公司
主要字段: 动力系统与遍历理论(37-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

SQOPT公司

引用于19份文件(2003–2023)
软件作者: P.E.Gill、W.Murray、M.A.Saunders
相关软件: SNOPT;CUTEst公司;qpOASES…
主要字段: 统计学(62-XX);数值分析(65-XX);流体力学(76-XX)…

隐式LNL方法

15篇文献引用(2017–2022)
软件作者: 西达法·孔德;西格尔戈特利布;Grant,Zachary J。;约翰·沙迪德(John N.Shadid)。
相关软件: imexLNL;github;RODAS…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

J盒

在16份文件中引用(2011–2023)
软件作者: Schäfer,J.,Poetzsch-Heffter,A。
相关软件: 防抱死制动系统;埃尔朗;甲酚…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

音乐厅

18篇文献引用(2011–2023)
软件作者: 克里斯蒂安·柯奇斯
相关软件: qpHPSC;Ipopt;Mintoc…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);量子理论(81-XX)…

qpHPSC

18篇文献引用(2011–2023)
软件作者: 克里斯蒂安·柯奇斯
相关软件: MuShROOM;Ipopt;Mintoc…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);量子理论(81-XX)…

萨图尔宁

18篇文献引用(2020年-2023年)
软件作者: Canteaut,A.等人。
相关软件: 极瘦的;凯卡克;微调…
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…

SPMF公司

17篇文献引用(2013–2022)
软件作者: 菲利普·福尼尔·维格(Philippe Fournier-Viger);安东尼奥·戈马利兹;泰德·古利基;阿扎德·索尔塔尼;吴成伟;曾文森特·S。
相关软件: 前缀跨度;铲刀;Scikit…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

LSSOL公司

17篇文献引用(1989–2012)
软件作者: Gill,P.E.,Hammarling,S.J.,Murray,W.,Saunders,M.A.,Wright,M.H
相关软件: AAFAC;倍频程;Eigtool…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

QPOPT公司

17篇文献引用(1998–2019)
软件作者: P.E.吉尔;W.Murray;M.A.桑德斯
相关软件: qpOASES;QPSchur公司;LOQO…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

QPSchur公司

17篇文献引用(2006–2022)
软件作者: 罗斯科·A·巴特利特。;Lorenz T.比格勒。
相关软件: qpOASES;LOQO;QPOPT…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

截面

17篇文献引用(2020年-2023年)
软件作者: 洛林·克劳福德;单音,国歌;陈,安德鲁·X。;穆克吉(Mukherjee,Sayan);劳尔·拉巴丹
相关软件: 持久性图像;古迪;GitHub…
主要字段: 偏微分方程(35-XX);代数拓扑(55-XX);概率论与随机过程(60-XX)…

中国电子商务

12份文件引用(2012–2022)
软件作者: 安托万,V。;Quost,B。;马森,M.-H。;Den{\oe}ux,T。
相关软件: UCI-ml;科恩拉布;evclust…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

数学库

在16份文件中引用(2008–2022)
软件作者: 德克萨斯州高级计算中心
相关软件: 地图集;LAPACK;布拉斯…
主要字段: 组合数学(05-XX);群论与推广(20-XX);数值分析(65-XX)…

十亿卢比

在16份文件中引用(2020年-2023年)
软件作者: 侯赛因·哈齐梅;拉胡尔·马祖姆德(Rahul Mazumder);阿里·萨博
相关软件: L0学习;稀疏;古罗比…
主要字段: 动力系统与遍历理论(37-XX);变分法与最优控制;优化(49-XX);统计学(62-XX)…

DLR衬垫

14篇文献引用(2011–2023)
软件作者: 拉尔夫·哈特曼(Ralf Hartmann);霍尔德,约阿希姆;托拜厄斯·莱希特;弗洛里安·普里尔
相关软件: Spalart-Allmaras;PETSc;梅蒂斯…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

乐团-SINDy

14篇文献引用(2022–2024)
软件作者: 法塞尔,城市;库茨(J.Nathan Kutz);宾尼·W·布伦顿。;史蒂文·布鲁顿。
相关软件: PySINDy;SINDy-PI;DeepONet;…(D)…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…

OOFEM公司

14篇文献引用(2009–2020)
软件作者: B.Patzák,Z.Bittnar
相关软件: PETSc;阿巴夸斯;交易.ii…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

PEBBL公司

在13份文件中引用(2009–2022)
软件作者: 乔纳森·埃克斯坦(Jonathan Eckstein);威廉·哈特(William E.Hart)。;辛西娅·菲利普斯。
相关软件: SCIP;CHiPPS;ParaSCIP…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

嗅探

3份文件引用(2010–2021)
软件作者: 查克拉瓦尔蒂S,米什拉D
相关软件: 卡尤加;电报CQ;高尔夫…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

TLAPS(TLAPS)

14篇文献引用(1999–2023)
软件作者: 拉波特
相关软件: 薄层色谱法;常春藤;Coq…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

FAME公司

9份文件引用(2007–2021)
软件作者: Stegmann,M.B.,Ersböll,B.K.,Larsen,R
相关软件: CUDA;BSDS;EMD…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

Glmnet公司

10篇文献引用(2015–2023)
软件作者: Qian J、Hastie T、Friedman J、Tibshirani R、Simon N
相关软件: glmnet;Matlab;R、 …
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

iperf公司

3份文件引用(2004–2018)
软件作者: A.蒂鲁马拉;J.弗格森
相关软件: VMWare;Mininet;HyperFlow…
主要字段: 计算机科学(68-XX)

平面图

9份文件引用(1997–2005)
软件作者: 迈克尔·希克斯;潘卡杰·卡卡尔;乔纳森·穆尔(Jonathan T.Moore)。;卡尔·A·冈特。;斯科特·奈特尔斯
相关软件: OCaml;番石榴;AtomCaml…
主要字段: 计算机科学(68-XX)

Qprop公司

在13份文件中引用(2006–2023)
软件作者: 彼得·科瓦尔(Peter Koval)·迪特尔·鲍尔(Dieter Bauer)
相关软件: CLTDSE;DLMF;QPC-TDSE…
主要字段: 代数几何(14-XX);偏微分方程(35-XX);数值分析(65-XX)…

零MQ

5份文件引用(2016–2021)
软件作者: iMatix公司
相关软件: 蟒蛇;TensorFlow;兔子MQ…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

CASIA步态

8份文件引用(2008–2011)
软件作者: CASIA公司
相关软件: 费雷特;TransGAN;回收GAN…
主要字段: 数值分析(65-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

DINAMelt公司

7份文件引用(2007–2011)
软件作者: 尼古拉斯·R·马卡姆(Nicholas R.Markham);迈克尔·祖克
相关软件: OligoArray;Sfold;多重…
主要字段: 组合数学(05-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…

NOrec公司

11份文件引用(2010–2022)
软件作者: Dalesandro,L.、Spear,M.F.、Scott,M.L。
相关软件: 环STM;TLRW;犹太科学图书馆…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

巴里萨德

12份文件引用(2019–2023)
软件作者: Polyakov,Y.、Rohloff,K.、Ryan,G.W。
相关软件: github;HElib;FHEW…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

减少的LP

12份文件引用(1992–2019)
软件作者: AndréL.Tits、P.-A.Absil、William P.Woessner
相关软件: rMPC;SDPT3;纽顿KKTqp…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);数值分析(65-XX)…

12份文件引用(2008–2022)
软件作者: Alexander Tchekhovskoy、Jonathan C.McKinney、Ramesh Narayan
相关软件: 猛撞;XTROEM-FV;冥王星…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

BCCG+FAI

11份文件引用(2014–2022)
软件作者: 沃勒布雷特,E。
相关软件: 接触;FEAPpv;任何人…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…

骆驼

11份文件引用(2015–2023)
软件作者: 李兴国、赵拓、刘韩
相关软件: glmnet;巨大;玻璃…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

JIDT公司

6篇文献引用(2018–2021)
软件作者: 约瑟夫·利泽尔、伊佩克·泽德米尔、佩德罗·梅迪亚诺
相关软件: TRENTOOL公司;蟒蛇;MuTE…
主要字段: 动力系统与遍历理论(37-XX);统计学(62-XX);运筹学,数学编程(90-XX)…

LassoNet公司

10篇文献引用(2021年-2023年)
软件作者: 伊斯梅尔·伦哈德里、冯·阮、路易斯·亚伯拉罕、罗伯特·蒂布希拉尼
相关软件: 深粉红色;亚当;Tensor2传感器…
主要字段: 统计学(62-XX);计算机科学(68-XX);系统论;控制(93-XX)

PPROJ公司

10篇文献引用(2016–2023)
软件作者: 威廉·海格(William W.Hager)。;张洪超
相关软件: QSDPNAL;CPLEX;FPC_AS…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…

ADOL-F公司

10篇文献引用(1996–2018)
软件作者: 德米特里·西里亚耶夫(Dmitri Shiriaev);安德烈亚斯·格雷万克
相关软件: ADIFR;ADOL-C;ADIC…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

双PC

10篇文献引用(2004–2014)
软件作者: H.M.Amman和D.Kendrick
相关软件: Duali;迪纳尔;游戏…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);运筹学,数学编程(90-XX)…

PHG公司

10篇文献引用(2009–2020)
软件作者: ICMSEC;L.张
相关软件: TMSmesh;FEtk;Sentaurus设备…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);光学、电磁理论(78-XX)…

VESTA公司

10篇文献引用(2006年至2016年)
软件作者: 艾伦·海登、罗伊·莱文、蒂莫西·曼、袁瑜
相关软件: OCaml;Freshml;ULM…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

数学中心信息

9份文件引用(2014–2019)
软件作者: 伊恩库、米尼亚;朱可夫斯基(Jucovschi),君士坦丁(Constantin);Michael Kohlhase;汤姆·威辛
相关软件: MMT;OMDoc;HOL灯…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

数字插孔

7份文件引用(2013–2018)
软件作者: 巴里·奥沙利文;Eoin O'Mahony;伊曼纽尔·希伯拉德
相关软件: 微量锌;ToulBar2;桑尼…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

平行GAM

9份文件引用(1997–2021)
软件作者: 阿莫迪奥、皮耶路易吉;路易吉·布鲁格纳诺
相关软件: 压裂工程;雷达5;BABDCR…
主要字段: 常微分方程(34-XX);数值分析(65-XX)

积极主动

6篇文献引用(2002–2019)
软件作者: Inria Sophia Antipolis公司
相关软件: AmbientTalk;防抱死制动系统;甲酚…
主要字段: 数值分析(65-XX);计算机科学(68-XX);地球物理学(86-XX)

辣味MKL

8份文件引用(2011–2021)
软件作者: 铃木、太极;良田富冈
相关软件: SimpleMKL;SHOGUN公司;LIBSVM…
主要字段: 功能分析(46-XX);算子理论(47-XX);统计学(62-XX)…

XMPP公司

6篇文献引用(2006–2022)
软件作者: 杰里米·米勒
相关软件: 拉利布;LearnLib;z3…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

自动校对

7份文件引用(2015–2023)
软件作者: Tschannen,J。;加利福尼亚州福利亚;诺迪奥,M。;Polikarpova,N。
相关软件: 达夫尼;VCC;VeriFast…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

数据建模器

7份文件引用(2009–2022)
软件作者: 马克·科坦切克
相关软件: Mathematica;启发式实验室;LIBSVM…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

HB-MP公司

7份文件引用(2007–2016)
软件作者: Munilla,J。;A.佩纳多。
相关软件: ——
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

IC2D接口

5份文件引用(2001–2015)
软件作者: 法国波德;亚历山大·贝格尔;丹尼斯·卡罗梅尔(Denis Caromel);Huet、Fabrice;纳诺,奥利维尔;朱利安·维西埃
相关软件: 积极主动;AmbientTalk;JCobox…
主要字段: 数值分析(65-XX);计算机科学(68-XX);地球物理学(86-XX)

质量控制中心

8份文件引用(2006年至2016年)
软件作者: Megretski AV;Kao CY;琼森UT;兰泽A
相关软件: Matlab;LMI工具箱;鲁棒控制工具箱…
主要字段: 系统论;控制(93-XX)

MBDyn公司

7份文件引用(2007–2023)
软件作者: M.Fancello、P.Masarati、M.Morandini、V.Muscarello、G.Quaranta
相关软件: 预CICE;SU2;打开SeesPy…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

MONARC公司

6篇文献引用(2001年至2012年)
软件作者: 西普里安·多布雷;科里纳地层
相关软件: OptorSim;网格模拟;GrADS…
主要字段: 计算机科学(68-XX);量子理论(81-XX);运筹学、数学规划(90-XX)

MUSCOP公司

8份文件引用(2001–2023)
软件作者: 安德烈亚斯·波茨赫卡
相关软件: 纽顿图书馆;ADOL-C;区块SQP…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);整体分析,流形分析(58-XX)…

OP2(操作2)

8份文件引用(2016–2023)
软件作者: G.R.Mudalige、M.B.Giles、I.Reguly、C.Bertolli、P.H.J.Kelly
相关软件: 萤火虫;炒作;沃尔纳…
主要字段: 统计学(62-XX);数值分析(65-XX);流体力学(76-XX)…

PROCOL公司

7份文件引用(1991–2002)
软件作者: van den Bos,Jan;拉法,克里斯
相关软件: 方面J;匹科拉;JAsCo…
主要字段: 计算机科学(68-XX)

QPSOL公司

8份文件引用(1986–1998)
软件作者: Gill,P.E.,Murray,W.,Saunders,M.A.,Wright M。
相关软件: NPSOL;NLPQL;HSL…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…

筛选结果依据…

全部的 前5名

相关软件