YALMIP公司 1259年文献引用(2004–2024) 软件作者: 约翰·洛夫伯格 相关软件: 塞杜米;SDPT3;Mosek… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
CVX公司 引用于999份文件(2006–2024) 软件作者: 迈克尔·格兰特;斯蒂芬·博伊德 相关软件: SDPT3;塞杜米;YALMIP… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
SDPT3系统 768份文件引用(1986–2024) 软件作者: Toh,K.C。;托德,M.J。;TüTüncü,R.H。 相关软件: 塞杜米;YALMIP;CVX… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
凯利 664份文件引用(1995–2024) 软件作者: C.T.凯利。 相关软件: minpack;L-BFGS;Matlab… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
水蝇 404文件引用(2000–2024) 软件作者: 波皮内特,斯特芬 相关软件: PROST;蜥蜴;SLIC… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
GQTPAR公司 360篇文献引用(1983–2023) 软件作者: 豪尔赫·莫雷。;哥伦比亚特区索伦森。 相关软件: HSL-VF05;切割机;minpack… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
VODE(旁白) 216篇文献引用(1989–2024) 软件作者: 彼得·N·布朗(Peter N.Brown)。;乔治·D·伯恩。;Alan C.Hindmarsh。 相关软件: 罗德斯;CHEMKIN公司;LSODE… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
ETPS公司 162篇文献引用(1986–2022) 软件作者: 彼得·安德鲁斯(Peter Andrews)、马修·毕晓普(Matthew Bishop)、查德·布朗(Chad E.Brown)、苏尼尔·伊萨尔(Sunil Issar)、丹·内史密斯(Dan Nesmith)、弗兰克·普芬宁(Frank Pfenning)、习宏伟(Hongwei Xi) 相关软件: TPS;Isabelle/HOL;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…
MONA公司 142篇文献引用(1995–2023) 软件作者: 克拉伦德,尼尔斯;莫勒,安德斯;迈克尔·施瓦茨巴赫(Michael I.Schwartzbach)。;J·埃尔加德。 相关软件: z3;DCVALID;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
CMA-ES公司 122篇文献引用(2004–2024) 软件作者: 汉森 相关软件: CEC 05;EGO;MultiMin… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
LISP公司 114篇文献引用(1960年-2023年) 软件作者: 约翰·麦卡锡 相关软件: ACL2;NQTHM;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
ICALAB公司 96篇文献引用(2005–2024) 软件作者: A.Cichocki、S.Amari、K.Siwek、T.Tanaka、Anh Huy Phan等人。 相关软件: FastICA;雏菊;R、 … 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
彭农牌手表 114篇文献引用(2003–2023) 软件作者: 米查尔·科奇瓦拉;米歇尔·斯廷格尔 相关软件: 塞杜米;SDPT3;COMPleib… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…
FISHPAK公司 106篇文献引用(1979–2023) 软件作者: Adams,J.、Swarztrauber,P.、Sweet,R 相关软件: IIMPACK;泥袋-2;MUDPACK… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
里曼 99篇文献引用(2010–2023) 软件作者: 丁肖·S·巴尔萨拉。 相关软件: HLLE;HE-E1GODF;MOOD… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
程序NLMIXED 68篇文献引用(2001–2024) 软件作者: SAS公司 相关软件: SAS;SAS/STAT;R、 … 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
南海 80篇文献引用(2016–2023) 软件作者: B.O’Donoghue、E.Chu、N.Parikh、S.Boyd 相关软件: 莫塞克;github;CVXPY… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
ECOS公司 73篇文献引用(2014–2023) 软件作者: 亚历山大·多马希迪(Alexander Domahidi)、埃里克·朱(Eric Chu)、圣地亚哥·阿克勒(Santiago Akle)、汉·王(Han Wang) 相关软件: CVXPY;莫塞克;SCS… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);计算机科学(68-XX)…
数字派生 引用于57份文件(2009–2024) 软件作者: 保罗·吉尔伯特;拉维·瓦拉丹 相关软件: R;Rcpp;质量(R)… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
FPC_AS公司 77份文件引用(2010–2023) 软件作者: 温再文、尹沃涛 相关软件: PDCO;SPGL1;TwIST… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
MIBPB公司 62篇文献引用(2010年至2024年) 软件作者: 段晨;詹晨;陈长军;耿伟华;郭伟伟 相关软件: APBS;塔比卜;PDB2PQR… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
HSL_MI20型 62篇文献引用(2009–2024) 软件作者: 乔纳森·博伊尔(Jonathan Boyle);米哈伊洛维,米兰;詹妮弗·斯科特 相关软件: IFISS;Matlab;AGMG… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);概率论与随机过程(60-XX)…
涟漪 59篇文献引用(1992–2023) 软件作者: Kothe DB、Mjolness RC、Torrey MD 相关软件: SOLA-VOF;SLIC;NASA-VOF2D… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
射频前端模块 57篇文献引用(2005–2023) 软件作者: 卡斯滕森,C;巴里亚瓦蒂,C 相关软件: Matlab;na14;iFEM… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
MPTP 0.2毫米 55份文件引用(2006–2021) 软件作者: 约瑟夫·乌尔班 相关软件: 米扎尔;VAMPIRE公司;E定理证明器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
出口4 54篇文献引用(1997–2023) 软件作者: L.Gr.Ixaru、H.De Meyer、G.Vanden Berghe、M.Van Daele 相关软件: 乳胶;枫树;NEW9p… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
LEO-II型 52篇文献引用(2008–2021) 软件作者: Benzmüller,C.,Paulson,L.,Theiss,F.,Fietzke,A 相关软件: 沙达拉;TPTP;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
RTRMC公司 51篇文献引用(2013–2023) 软件作者: Boumal,N.,Absil,P.A.公司。 相关软件: 马诺普特;LMaFit;ADMiRA… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
AGMG公司 49篇文献引用(2011–2023) 软件作者: Yvan Notay公司 相关软件: IFISS;HSL_MI20;BoomerAMG… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
波尔兹曼 50篇文献引用(2003–2023) 软件作者: 弗朗西斯·费尔贝特(Francis Filbet);乔瓦尼·鲁索 相关软件: HE-E1GODF;CUDA;MOOD… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
RAMSES公司 45篇文献引用(2006–2023) 软件作者: R.Teyssier公司 相关软件: GADGET公司;涅槃;闪烁… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
跳房子 48篇文献引用(1971–2024) 软件作者: A.R.古雷。 相关软件: 罗德斯;DLMF;COMSOL… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
TRICE公司 48篇文献引用(1997–2022) 软件作者: 丹尼斯,J.E。;Heinkenschloss,Matthias;吕维森特{i} 秒N。 相关软件: 兰斯洛特;Ipopt;SNOPT… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
埃尔莎 43篇文献引用(1987–2023) 软件作者: ONERA公司 相关软件: Spalart-Allmaras;澳大利亚统计局;TAU… 主要字段: 代数几何(14-XX);统计学(62-XX);数值分析(65-XX)…
GAMESS公司 40篇文献引用(1998年至2024年) 软件作者: 格雷厄姆·弗莱彻(Graham D.Fletcher)。;迈克尔·施密特(Michael W.Schmidt)。;布雷特·博德(Brett M.Bode)。;戈登(Mark S.Gordon)。 相关软件: 高斯人;西北化工;ORCA… 主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…
Optim公司 31份文件引用(2019–2023) 软件作者: P.K.莫根森;A.N.瑞斯 相关软件: 朱莉娅;CG_DESCENT;GitHub… 主要字段: 统计学(62-XX);数值分析(65-XX);流体力学(76-XX)…
细屑++ 44篇文献引用(2000–2023) 软件作者: M.Lerch、G.Tischler、J.Wolff von Gudenberg、W.Hofschuster、W.Krämer 相关软件: C-XSC 2.0;国际实验室;C-XSC… 主要字段: 复变量函数(30-XX);数值分析(65-XX);计算机科学(68-XX)…
球面物理学 41篇文献引用(2011–2023) 软件作者: M.Gomez-Gesteira、B.D.Rogers、A.J.C.Crespo、R.A.Dalrymple、M.Narayanaswamym、J.M.Dominguez 相关软件: 双球面物理学;CUDA;OpenFOAM… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
毫米毫米 43篇文献引用(2009–2023) 软件作者: B.甘尼斯;I.约托夫 相关软件: CutFEM;drp基准;DuMuX… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
QSDPNAL公司 40篇文献引用(2016–2024) 软件作者: 李,X.D.,孙,D.F.,Toh。K.-C.公司。 相关软件: SDPNAL+;QSDP;SDPT3… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
智能PLS 34份文件引用(2007–2023) 软件作者: Ringle CM、Wende S、Will A;智能PLS 相关软件: XLStat;R;LISREL… 主要字段: 统计学(62-XX);数值分析(65-XX);统计力学,物质结构(82-XX)…
k波 37篇文献引用(2010–2023) 软件作者: 布拉德利·特雷比(Bradley E.Treeby);B.T.考克斯 相关软件: U-Net公司;Matlab;朱莉娅… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
回声(ECHO) 35篇文献引用(2008–2024) 软件作者: L.Del Zanna、O.Zanotti、N.Bucciantini、P.Londrilo 相关软件: HLLE;黎曼;威士忌MHD… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
ABLE公司 34份文件引用(1999–2022) 软件作者: 白昭君;Day,David;叶强 相关软件: JDQZ;JDQR;mftoolx… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
泥背 32篇文献引用(1989–2021) 软件作者: 约翰·C·亚当斯。 相关软件: 泥袋-2;FISHPAK;FFTW… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
任天堂(Ninteger) 33篇文献引用(2008–2024) 软件作者: D.Valerio、J.S.da Costa 相关软件: 克朗;Matlab;FOMCON… 主要字段: 实函数(26-XX);常微分方程(34-XX);数值分析(65-XX)…
MOVCOL公司 33篇文献引用(1996–2019) 软件作者: 黄伟;R.D.拉塞尔 相关软件: DASSL;CWRESX公司;CWRESU… 主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
SGD-QN公司 32篇文献引用(2009–2023) 软件作者: 波德斯,安托万;莱昂·博图;帕特里克·加里纳里 相关软件: 阿达格拉德;L-BFGS;RCV1… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
数字 30篇文献引用(2018–2021) 软件作者: Ch.Tsitouras。;T·E·西蒙斯。 相关软件: NEW9p;乳胶;数学… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
转换.jl 27篇文献引用(2015–2023) 软件作者: Karanveer Mohan、Madeline Udell、David Zeng、Jenny Hong 相关软件: CVX;CVXPY;朱莉娅… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
TENSOLVE公司 28篇文献引用(1993–2022) 软件作者: 阿里·布瓦里查(Ali Bouaricha);罗伯特·施纳贝尔。 相关软件: minpack;MINPACK-2;MPSalsa… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);算子理论(47-XX);数值分析(65-XX)…
AILU公司 28篇文献引用(2000–2022) 软件作者: 马丁·甘德(Martin J.Gander)。;弗雷德里克·纳塔夫 相关软件: 派系;PSP;STRUMPACK… 主要字段: 偏微分方程(35-XX);欧氏空间(42-XX)的调和分析;数值分析(65-XX)…
DFN公司 28篇文献引用(2014–2022) 软件作者: G.Fasano、G.Liuzzi、S.Lucidi、F.Rinaldi、K.Truempha 相关软件: DFL;OrthoMADS;野马… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…
基瓦-4 27篇文献引用(2006–2020) 软件作者: Song-Charng Kong博士、Xiuling Wang博士、Darrell W.Pepper博士、Juan Heinrich博士 相关软件: 基瓦-2;CHEMKIN公司;OpenFOAM… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
新9p 28篇文献引用(2018–2021) 软件作者: Ch.Tsitouras。;T·E·西蒙斯。 相关软件: 数字;乳胶;数学… 主要字段: 常微分方程(34-XX);算子理论(47-XX);数值分析(65-XX)…
COBRA公司 26篇文献引用(1998–2012) 软件作者: 桑切斯,R。;Hirshman,S.P.公司。;惠特森,J.C。;瓦尔,A.S。 相关软件: ARPACK;Eigtool;范胡菲尔… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
CWENO公司 26篇文献引用(2004–2021) 软件作者: 延斯·克莱曼;安德烈亚斯·科普;霍斯特·费希特纳;格雷尔、雷纳;Kai Germaschewski 相关软件: 涅盘;闪光;地图… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
苏普雷米卡 26篇文献引用(2009–2023) 软件作者: 克努特·阿克森;马丁·法比安;雨果·弗洛达尔;罗比·马利克 相关软件: UMDES;TCT;NuSMV… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
CTH公司 25篇文献引用(1992–2022) 软件作者: J.M.McGlaun;S.L.汤普森 相关软件: LS-DYNA;卡拉肯;SLIC… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
FELSOS公司 25篇文献引用(2005年至2021年) 软件作者: 斯莫利安斯基A 相关软件: PROST;SLIC;西姆利布… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
PENSDP公司 25篇文献引用(2006–2022) 软件作者: 米查尔·科奇瓦拉;米歇尔·斯廷格尔 相关软件: 彭农;SDPLR;优化软件基准… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
COSTA公司 22篇文献引用(1992–2020) 软件作者: 埃尔维拉·阿尔伯特(Elvira Albert)、普里·阿雷纳斯(Puri Arenas)、萨米尔·吉纳伊姆(Samir Genaim)、杰尔曼·普埃布拉(Germanán Puebla)、达米亚诺·扎纳尔迪尼 相关软件: 速度;AProVE;参考… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);偏微分方程(35-XX)…
xP面板 23篇文献引用(2013–2023) 软件作者: 皮特鲁、西里尔;罗伊,泽维尔;奥宾纳·乌梅 相关软件: xPert;xPerm;xAct… 主要字段: 算子理论(47-XX);粒子和系统力学(70-XX);量子理论(81-XX)…
Be-CoDiS公司 23篇文献引用(2015–2023) 软件作者: 本杰明·艾弗拉;恩戈姆,迪耶内;安吉尔·M·拉莫斯。 相关软件: Matlab;github;iOverbook… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);变分法与最优控制;优化(49-XX)…
贝德维尔 21篇文献引用(2007–2022) 软件作者: David Baelde、Andrew Gacek、Dale Miller、Gopalan Nadathur、Alwen Tiu 相关软件: Twelf;阿贝拉;名义上的伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
哈姆 22篇文献引用(2005–2020) 软件作者: 查尔斯·甘米;乔纳森·麦金尼(Jonathan C.McKinney);加博尔·托斯 相关软件: 回声;威士忌MHD;闪烁… 主要字段: 数值分析(65-XX);流体力学(76-XX);量子理论(81-XX)…
罐 引用于19份文件(2018–2024) 软件作者: 佩德罗·科斯塔 相关软件: 2DECOMP;FFTW;流体流动现象… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
BSSasymp公司 18篇文献引用(2016–2024) 软件作者: Jari Miettinen、Klaus Nordhausen、Hannu Oja、Sara Taskinen 相关软件: 玉石;R;ICS… 主要字段: 动力系统与遍历理论(37-XX);算子理论(47-XX);概率论与随机过程(60-XX)…
系数cpt 20篇文献引用(2018–2023) 软件作者: Matteo Barigozzi、Haeran Cho、Piotr Fryzlewicz 相关软件: wbs;FreSpeD;astsa… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
NP-SPEC公司 21篇文献引用(1999–2022) 软件作者: 马可·卡多利;乔瓦姆巴蒂斯塔·伊安尼;路易吉·帕洛波利;安德烈·谢尔夫(Andrea Schaerf);多梅尼科·瓦西莱 相关软件: 平滑;ESRA;GraphBase… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
开放式媒体中心 21篇文献引用(2013–2024) 软件作者: 保罗·罗曼诺(Paul Romano)、布莱恩·赫尔曼(Bryan Herman)、尼克·霍利克(Nick Horelik)、亚当·纳尔逊(Adam Nelson)、乔恩·沃尔什(Jon Walsh)、斯特林·哈珀(Sterling Harper)、威尔·博伊德(Will Boyd)、 相关软件: CASMO;RMC;MCNP… 主要字段: 数值分析(65-XX);流体力学(76-XX);经典热力学,传热(80-XX)…
TRHD公司 21篇文献引用(2015–2023) 软件作者: 西乔伊,C.D。;查图尔维迪,S。 相关软件: ICF3D;宙斯;HLLE… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
吞咽 18篇文献引用(1986–2017) 软件作者: 朱利安·盖尔(Julian D.Gale)。;安德鲁·罗尔。 相关软件: 阿伏伽德罗;开放巴别塔;VASP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);变形固体力学(74-XX)…
KANTBP公司 20篇文献引用(2007–2023) 软件作者: O.Chuluunbatar、A.A.Gusev、A.G.Abrashkevich、A.Amaya Tapia、M.S.Kaschieve、S.Y.Larsen、S.I.Vinitsky 相关软件: KANTBP 2.0;枫树;POTHMF… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
StaRMAP公司 20篇文献引用(2013–2023) 软件作者: B.赛博尔德;和弗兰克 相关软件: 英特尔TBB;沙丘-xt;特征… 主要字段: 偏微分方程(35-XX);积分方程(45-XX);数值分析(65-XX)…
坦桑尼亚先令 13份文件引用(1998–2022) 软件作者: 托尔斯滕·布兰茨 相关软件: TreeTagger;宾夕法尼亚树银行;SVM工具… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
Rmosek公司 12份文件引用(2016–2021) 软件作者: 亨利克·弗里伯格(Henrik Friberg),莫斯科 相关软件: 莫塞克;R;REBayes… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX)
C-AMS公司 18篇文献引用(2015–2023) 软件作者: Ţene、Matei;王一轩;哈吉贝吉,哈迪 相关软件: SGeMS公司;METIS公司;Matlab… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
恩特夫人 18篇文献引用(1985–2012) 软件作者: K.H.Winters;克利夫KA 相关软件: ANSYS-CFX;减少;oomph-lib… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
PointCNN(美国有线电视新闻网) 13份文件引用(2019–2023) 软件作者: 李阳彦、吕布、孙明超、吴伟、狄新翰、陈宝全 相关软件: PointNet;VoxNet;VoxelNet… 主要字段: 欧氏空间(42-XX)的调和分析;数值分析(65-XX);计算机科学(68-XX)…
SSPTS方法 16篇文献引用(2018–2024) 软件作者: 格兰特,扎卡里;西格尔戈特利布;大卫·塞尔。 相关软件: github;黎曼;imexLNL… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
算法876 15篇文献引用(2008–2023) 软件作者: 阿特金森,肯德尔E。;劳伦斯·F·沙姆平。 相关软件: Matlab;安德森;SFMT… 主要字段: 历史与传记(01-XX);积分方程(45-XX);功能分析(46-XX)…
HOL-Boogie公司 14篇文献引用(2008–2019) 软件作者: Böhme,萨沙;Leino,K.Rustan M。;沃尔夫,伯克哈特 相关软件: Isabelle/HOL;Why3;布吉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
HOLOMAC公司 15篇文献引用(2016–2023) 软件作者: Motheau,E。;J·亚伯拉罕。 相关软件: CHEMKIN公司;2DECOMP;pySDC… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
火星 14篇文献引用(2014–2023) 软件作者: 张,青海;亚伦·福格尔森 相关软件: GePUP;PROST;Gerris… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);数值分析(65-XX)…
糖 14篇文献引用(2002年-2023年) 软件作者: Clark,J.V.、Bindel,D.、Zhou,N.、Bhave,S.、Bai,Z.、Demmel,J.、Pister,K.S.J。 相关软件: Omega3P;mctoolbox;ARPACK… 主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);变形固体力学(74-XX)…
ATESAT公司 11份文件引用(1998–2018) 软件作者: 阿巴德。;Elipe,A。;Palacián,J。;桑·胡安,J.F。 相关软件: PSPC;Mathematica;数学卫星… 主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子和系统力学(70-XX)
CAE Fidesys公司 13份文件引用(2017–2022) 软件作者: 德米特里·科诺瓦洛夫(Dmitri Konovalov,Andreevich);雅科夫列夫,马克西姆·雅科夫列维奇 相关软件: AlgoWiki;LEGAK-DK;TsAGI… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
电子邮件 12份文件引用(2013–2021) 软件作者: 丹尼尔·库尔温(Daniel Kühlwein);斯蒂芬·舒尔茨(Stephan Schulz);约瑟夫·乌尔班 相关软件: E定理证明器;VAMPIRE公司;MaLARea… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);几何(51-XX)…
Exp.未结 12份文件引用(2006–2023) 软件作者: 弗雷德里克·朗 相关软件: CADP;CAESAR_SOLVE公司;M-TREE… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
HOFiD_向上 13份文件引用(2012–2022) 软件作者: 阿莫迪奥、皮耶路易吉;朱塞皮娜·塞塔尼尼 相关软件: Matlab;twpbvp;bvptwp.m… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
超几何土壤 13份文件引用(2017–2023) 软件作者: 埃尔达尔·伊马莫格鲁(Erdal Imamoglu);马克·范·霍伊 相关软件: DEtools;SIGMA;GitHub… 主要字段: 组合数学(05-XX);特殊功能(33-XX);偏微分方程(35-XX)…
IOTA公司 13份文件引用(2013–2023) 软件作者: 萨布丽娜·亨佩尔 相关软件: ElemStatLearn;PDCO;MVGC… 主要字段: 组合数学(05-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…
SOCP公司 12份文件引用(1998–2019) 软件作者: M.Lobo、L.Vandenberghe、S.Boyd 相关软件: 塞杜米;莫塞克;SDPT3… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…
备用CoLO 13份文件引用(2010–2022) 软件作者: K.Fujisawa、S.Kim、M.Kojima、Y.Okamoto、M.Yamashita 相关软件: 塞杜米;SDPT3;SDPLIB… 主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
电信 13份文件引用(1999–2022) 软件作者: 穆利内克,C。;丹尼斯,C。;Pham,C.-T。;Rougé,D。;赫沃特,J.-M。;Razafindrakoto,E。;Barber,R.W。;艾默生,D.R。;顾晓杰。 相关软件: HLLE;METIS公司;CADNA… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
石斛 10篇文献引用(2010–2022) 软件作者: R.S.Sampath、S.S.Adavani、H.Sundar、I.Lashuk、G.Biros 相关软件: p4测试;交易.ii;PETSc… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
DG_DATH_ELASTIC_V1.0 12份文件引用(2015–2022) 软件作者: 丹尼尔·阿佩尔(Daniel Appelö);托马斯·哈格斯特罗姆 相关软件: EM-WaveHoltz;MFEM;算法740… 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
MadAnalysis公司 12份文件引用(2015–2023) 软件作者: E.Conte、B.Fuks、G.Serret 相关软件: PYTHIA8;德尔菲斯;MadGraph5_aMC@NLO; … 主要字段: 概率论与随机过程(60-XX);粒子和系统力学(70-XX);光学、电磁理论(78-XX)…