×

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

广场广场

引用于201份文件(2000–2023)
软件作者: J.F.Bonnans、J.Ch.Gilbert、C.Lemaréchal、C.A.Sagastizábal
相关软件: PLCP;Ipopt;L-BFGS…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…

阿尔伯塔

186篇文献引用(2005–2023)
软件作者: 阿尔弗雷德·施密特(Alfred Schmidt)、库尼伯特·G·西伯特(Kunibert G.Siebert)、克劳斯·朱斯塔斯·海涅(Claus-Justus Heine)、丹尼尔·科斯特(Daniel Köster)、奥利弗·克利斯(Oliver Kriessl)
相关软件: UMFPACK;艾伯特;DUNE…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

光泽

104篇文献引用(1992–2023)
软件作者: 卡斯皮,P。;Pilaud,D。;Halbwachs,N。;普拉斯,J.A。
相关软件: 酯类;信号;Simulink…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

ELAN公司

106篇文献引用(1996–2020)
软件作者: 彼得·博罗万斯基(Peter Borovansky)、埃里克·德普拉涅(Eric Deplagne)、克劳德·基什内尔(Claude Kirchner)、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳(Pierre-Etienne Moreau)、克里斯托夫·林盖森(Christophe Ringeissen)、玛丽安·维特
相关软件: 莫德;OBJ咖啡馆;OBJ3…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

MISER3公司

87份文件引用(1990–2023)
软件作者: L S Jennings、M E Fisher、K L Teo、C J Goh
相关软件: 视觉MISER;Matlab;NLPQLP…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

状态流

43篇文献引用(1989–2023)
软件作者: MathWorks公司。
相关软件: Simulink;Matlab;托勒密…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

TRICE公司

48篇文献引用(1997–2022)
软件作者: 丹尼斯,J.E。;Heinkenschloss,Matthias;吕维森特{i} 秒N。
相关软件: 兰斯洛特;Ipopt;SNOPT…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

PMIRKDC公司

32篇文献引用(1996–2020)
软件作者: 缪尔,P.H。;潘彻,R.N。;K.R.杰克逊。
相关软件: MIRKDC;COLSYS公司;COLNEW…
主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

ENDER(恩德)

13份文件引用(2012–2023)
软件作者: K.Dembczy nski、W.Kot lowski、R.S lowi nski
相关软件: UCI-ml;C4.5;R、 …
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

GPU验证

14篇文献引用(2013–2022)
软件作者: 彼得·科林伯恩(Peter Collingbourne);阿拉斯泰尔·唐纳森。;杰罗·凯特马(Jeroen Ketema);沙兹·卡迪尔
相关软件: GKLEE;CUDA;布吉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

DASOPT公司

14篇文献引用(1988–2021)
软件作者: 琳达·佩佐德;Rosen,J.Ben;菲利普·E·吉尔。;Jay,Laurent O。;公园,基洪
相关软件: ADIFR;SNOPT;SOCS…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);流体力学(76-XX)…

TEXPLORE公司

10篇文献引用(2013–2023)
软件作者: 托德·海丝特
相关软件: AlphaZero;DDDAS;EnKF…
主要字段: 计算机科学(68-XX);可变形固体力学(74-XX);运筹学,数学规划(90-XX)…

工具总线

7份文件引用(1995–2007)
软件作者: J.A.Bergstra;P.Klint先生
相关软件: 萨帕托;E定理证明器;CVC精简版…
主要字段: 计算机科学(68-XX)

MUSCOP公司

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

数字音频放大器

7份文件引用(2010年至2022年)
软件作者: 布莱恩·法比恩(Brian C.Fabien)。
相关软件: OOQP;SOCS;qpOASES…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

合成波普

1份文件引用(2022)
软件作者: Beata Nowok、Gillian M Raab、Joshua Snoke、Chris Dibben
相关软件: R;simPop;IVE软件…
主要字段: 统计学(62-XX)

区块SQP

6篇文献引用(2016–2023)
软件作者: 丹尼斯·詹卡(Dennis Janka);克里斯蒂安·柯奇斯(Christian Kirches);塞巴斯蒂安·萨格尔;安德烈亚斯·瓦赫特
相关软件: Ipopt;qpOASES;L-BFGS…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学、数学规划(90-XX)

TAMPR公司

6篇文献引用(1997–2011)
软件作者: 詹姆斯·博伊尔(James M.Boyle)。;特伦斯·J·哈默。;温特,维克多·L。
相关软件: Stratego;GHC;ATERM…
主要字段: 计算机科学(68-XX)

ADDA公司

5份文件引用(2014–2022)
软件作者: M.A.Yurkin;A.G.霍克斯特拉
相关软件: PRMLT;MatScat;包含…
主要字段: 偏微分方程(35-XX);积分方程(45-XX);数值分析(65-XX)…

爱尔兰语/OTP

4份文件引用(2009–2012)
软件作者: 伯奇,佩特尔;科瓦奇,阿提拉;塔特拉,安塔尔
相关软件: 埃尔朗;TXL;CCFinder…
主要字段: 计算机科学(68-XX)

trlib数据库

5份文件引用(2018–2022)
软件作者: Felix Lenders、Christian Kirches、Andreas Potschka
相关软件: HSL-VF05;FEniCS;GQTPAR…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

深度合成

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

公共事业部

4份文件引用(2014–2021)
软件作者: 宋,F。;T·图利。
相关软件: 贝博普;自旋蛋白
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

eva公司

2份文件引用(2018–2023)
软件作者: 布莱恩·贝德
相关软件: texmex;伊斯梅夫;极端…
主要字段: 统计学(62-XX)

支付

引用于3份文件(2017–2023)
软件作者: 列夫·尤·巴拉什。;马丁·威格尔(Martin Weigel);米哈尔,波罗夫斯基;沃尔夫哈德·扬克(Wolfhard Janke);列夫·舒尔。
相关软件: CUDA;pybind11;GitHub…
主要字段: 统计学(62-XX);数值分析(65-XX);变形固体力学(74-XX)…

七图表

2份文件引用(2015–2022)
软件作者: 雅各布·安霍吉(Jacob Anhoej)、蒂莫·罗德(Timo Roeder)
相关软件: qcc;R;spc…
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX)

TENT公司

引用于3份文件(2001–2002)
软件作者: 托马斯·福克特;汉斯·彼得·科尔斯肯(Hans-Peter Kersken);安德烈亚斯·施赖伯(Andreas Schreiber);斯特雷泽尔,马丁;克劳斯·沃尔夫
相关软件: omniORB;蟒蛇;阿曼达
主要字段: 数值分析(65-XX);计算机科学(68-XX)

AWN公司

2份文件引用(2014年至2016年)
软件作者: 蒂莫西·波克
相关软件: 伊莎贝尔/马戏团;Isabelle/jEdit;TPTP…
主要字段: 计算机科学(68-XX)

gsb设计

在0个文档中引用
软件作者: Florian Gerber、Thomas Gsponer
相关软件: 事实;R;ADDPLAN…
主要字段:

曼蒂科尔

2份文件引用(2008–2015)
软件作者: 马修·弗莱特
相关软件: MapReduce;NESL;GHC…
主要字段: 计算机科学(68-XX)

MFSAS公司

1份文件引用(2016)
软件作者: Aaron Childs;陈亚林
相关软件: R;验收抽样;闪亮的
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

使徒

1份文件引用(2019)
软件作者: Wonnacott,P。;D.布鲁斯。
相关软件: Python PDEVS;GridSpice;GTW…
主要字段: 运筹学、数学规划(90-XX)

雨衣

1份文件引用(2019)
软件作者: 马尔科·瓦塞纳;俄罗斯,亚历杭德罗;巴勃罗,布瑞斯;韦伊,卢卡斯
相关软件:
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

Magma2公司

1份文件引用(1984)
软件作者: 佛朗哥·都灵
相关软件: MAGMA-部署
主要字段: 计算机科学(68-XX)

操作的

1份文件引用(2021)
软件作者: 阿普菲莫斯H
相关软件: github;FreeSpec;卡米…
主要字段: 计算机科学(68-XX)

seqICP

1份文件引用(2020)
软件作者: Niklas Pfister;乔纳斯·彼得斯
相关软件: 非线性ICP;不变量因果预测;因果影响…
主要字段: 统计学(62-XX)

RCT设计

在0个文档中引用
软件作者: Gillen,D.和Emerson,S。
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件