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)…
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)…
平面图 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)…
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)…
自动校对 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)…
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)…
QPSOL公司 8份文件引用(1986–1998) 软件作者: Gill,P.E.,Murray,W.,Saunders,M.A.,Wright M。 相关软件: NPSOL;NLPQL;HSL… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…