规范化工具 809份文件引用(1994–2024) 软件作者: 汉森,Per Christian 相关软件: UTV;LSQR;IR工具… 主要字段: 偏微分方程(35-XX);算子理论(47-XX);数值分析(65-XX)…
GMRF库 408份文件引用(1991–2024) 软件作者: 哈瓦德街;莱昂哈德·赫尔德 相关软件: R;spBayes;贝叶斯DA… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
红色工具箱 350份文件引用(2014–2024) 软件作者: 阿尔菲奥·夸特罗尼;安德烈亚·曼佐尼;费德里科·内格里 相关软件: 皇家麻省理工学院;亚当;FEniCS… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
水獭 325篇文献引用(1988–2023) 软件作者: 比尔·麦库恩;阿莫尔·蒙塔诺(Amor Montano)、何塞·阿尔弗雷多(Jose Alfredo);米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel) 相关软件: TPTP;VAMPIRE公司;SPASS… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…
ADOL-C公司 260篇文献引用(1991–2024) 软件作者: 安德烈亚·沃尔特(Andrea Walther)、安德烈亚斯·科瓦兹(Andreas Kowarz)、安德烈亚斯·格里万克(Andreas-Griewank) 相关软件: ADIFOR公司;锥体;ADIC… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
NBI公司 237篇文献引用(1998–2024) 软件作者: 达斯(Das),因德雷尼尔(Indraneel);J.E.丹尼斯。 相关软件: MOEA/D;SPEA2;HypE… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
TISEAN公司 165篇文献引用(1999–2023) 软件作者: Rainer Hegger、Holger Kantz、Thomas Schreiber 相关软件: Matlab;K2;科学… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…
火灾 145篇文献引用(2008–2023) 软件作者: A.V.斯米尔诺夫。 相关软件: LiteRed;雷杜泽;消防5… 主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
CMA-ES公司 122篇文献引用(2004–2024) 软件作者: 汉森 相关软件: CEC 05;EGO;MultiMin… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
rms(有效值) 112份文件引用(2001年至2024年) 软件作者: 小弗兰克·E·哈雷尔 相关软件: R;SAS;生存… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
阿巴克斯 117篇文献引用(1996–2022) 软件作者: 精灵,马提亚斯;卡斯滕·古特温格;迈克尔·Jünger;乔瓦尼·里纳尔迪 相关软件: CPLEX;MINTO公司;SYMPHONY… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
AIR工具 114篇文献引用(2012–2024) 软件作者: 汉森,Per Christian;玛丽亚·萨希尔德·汉森 相关软件: 规范化工具;IR工具;UTV… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…
ELAN公司 106篇文献引用(1996–2020) 软件作者: 彼得·博罗万斯基(Peter Borovansky)、埃里克·德普拉涅(Eric Deplagne)、克劳德·基什内尔(Claude Kirchner)、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳(Pierre-Etienne Moreau)、克里斯托夫·林盖森(Christophe 相关软件: 莫德;OBJ咖啡馆;OBJ3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
ILOG时间表 87份文件引用(1996年-2023年) 软件作者: C·勒帕佩 相关软件: CPLEX;炸薯条;JOBSHOP… 主要字段: 历史与传记(01-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
Gecode公司 85篇文献引用(2007–2023) 软件作者: 克里斯蒂安·舒尔特(Christian Schulte),KTH皇家理工学院 相关软件: 微量锌;CPLEX;Choco… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
刻痕 84份文件引用(1997–2023) 软件作者: F.佩莱格里尼;J.罗曼 相关软件: METIS公司;稀疏矩阵;Chaco… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
库恩 80篇文献引用(2009–2023) 软件作者: 彼得罗·贝洛蒂;Jon Lee;利贝蒂(Leo Liberti);弗朗索瓦·马戈;安德烈亚斯·韦切特 相关软件: BARON公司;CPLEX;邦明… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
ParEGO公司 66份文件引用(2005–2023) 软件作者: 约书亚·诺尔斯;埃文·休斯。 相关软件: EGO;MOEA/D;SPEA2… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
JPEG2000格式 61篇文献引用(2002–2023) 软件作者: Seo、Yeong Geon;Kim,Kwon Soo;Kim、Sung Gyun 相关软件: 蟒蛇;BM3D;VisualSEEk… 主要字段: 欧氏空间(42-XX)的调和分析;数值分析(65-XX);计算机科学(68-XX)…
TTTPLOTS公司 70篇文献引用(2007–2024) 软件作者: Aiex,Renata M。;莫里西奥·雷森德(Mauricio G.C.Resende)。;塞尔索·C·里贝罗。 相关软件: PERL;GRASP;irace… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
svd包 60篇文献引用(1994–2022) 软件作者: 迈克尔·W·贝里 相关软件: LAPACK;ARPACK;Matlab… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
凯伊迈拉 55份文件引用(2008–2023) 软件作者: 安德烈·普拉泽;贾·戴维德·奎塞尔 相关软件: SpaceEx;凯伊迈拉X;高科技… 主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…
RealPaver公司 51篇文献引用(2003–2017) 软件作者: 劳伦特·格兰维尔(Laurent Granvilliers) 相关软件: 数字;进入PT_90;监狱… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
UPPAAL TIGA公司 引用于47份文件(2007–2023) 软件作者: Behrmann,G.、Cougnard,A.、David,A.、Fleury,E.、Larsen,K.G.、Lime,D。 相关软件: Uppaal;棱镜;Synthia… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变异微积分和最优控制;优化(49-XX);计算机科学(68-XX)…
人工神经网络 36篇文献引用(2001–2023) 软件作者: David M.Mount;苏尼尔·阿里亚 相关软件: UCI-ml;CGAL;间隙… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
咖喱 42篇文献引用(1998–2022) 软件作者: M.Hanus、H.Kuchen、J.J.Moreno Navarro 相关软件: 哈斯克尔;PAKCS;KiCS2… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…
贝叶斯逻辑 46篇文献引用(2013–2022) 软件作者: 尼古拉斯·波尔森(Nicholas G.Polson)。;詹姆斯·G·斯科特。;杰西·温德尔 相关软件: R;tsbridge;CODA… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
CHARM(魅力)++ 32篇文献引用(1997–2023) 软件作者: Laxmikant V.Kale;桑吉夫·克里希南 相关软件: PETSc;ParaView;交易.ii… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
魔法 39篇文献引用(2003–2020) 软件作者: 萨加尔·查基;埃德蒙·克拉克;Jha,萨默什;赫尔穆特·维思 相关软件: ComFoRT;班德拉;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
非MEM 37篇文献引用(1996–2022) 软件作者: 比尔,S.L。;谢纳,L.B。 相关软件: R;S-PLUS;SAS… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
AMReX公司 34份文件引用(2019–2024) 软件作者: 安·阿尔姆格伦 相关软件: p4测试;格里斯;乔博… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
CiME公司 38篇文献引用(1997–2022) 软件作者: 埃维琳·孔特让、克劳德·马奇、安德烈·帕斯科维奇、泽维尔·乌尔班 相关软件: AProVE;蒂罗尔;Coq… 主要字段: 数学逻辑与基础(03-XX);场论与多项式(12-XX);交换代数(13-XX)…
Mixmod公司 37篇文献引用(2006–2022) 软件作者: 克里斯托夫·比尔纳基;塞勒克斯(Celeux),吉尔(Gilles);戈瓦尔特、杰拉德;佛罗伦萨,兰格罗涅特 相关软件: 麦克卢斯特;R;PGMM… 主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)…
OPL公司 39篇文献引用(2000–2023) 软件作者: 帕斯卡·范·亨滕里克;劳伦·佩伦(Laurent Perron);Jean-Francois,普吉 相关软件: CPLEX;AMPL;芯片… 主要字段: 历史与传记(01-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
LSSPER公司 28篇文献引用(2004–2023) 软件作者: 米雷尔·帕尔潘特;Artigues,基督教;菲利普·米歇隆 相关软件: PSPLIB;分散搜索;进展… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
折扣 31份文件引用(1996年-2023年) 软件作者: Denzinger,J。;Kronenburg先生。;舒尔茨,S。 相关软件: TPTP;VAMPIRE公司;E定理证明器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
奥德赛 32篇文献引用(1996–2016) 软件作者: 罗斯坦,N.,达尔马斯,S.,加利戈,A 相关软件: ADIFOR公司;TAMC;ADOL-C… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
nleqslv公司 27篇文献引用(2011–2023) 软件作者: 贝伦德·哈塞尔曼 相关软件: R;BB;贝叶斯DA… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
辅助电源 27篇文献引用(1993年-2023年) 软件作者: Letichevsky,A.A。;Kapitonova,J.V。;科诺琴科股份有限公司。 相关软件: APS-1;hiCUDA;BSGP… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);群论与推广(20-XX);常微分方程(34-XX)…
LoTREC公司 29篇文献引用(2001–2023) 软件作者: 奥利维尔·盖斯克特(Olivier Gasquet);安德烈亚斯·赫齐格(Andreas Herzig);多米尼克·朗金;穆罕默德·萨哈德 相关软件: PVS;SPASS;E定理证明器… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
PRISM-游戏 30篇文献引用(2013–2022) 软件作者: 陈、陶璐;Forejt,Vojtěch;公司;玛尔塔·奎亚特科夫斯卡;戴维·帕克;西马提斯,艾斯蒂斯 相关软件: 棱镜;主旨;MCMAS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
PySP公司 28篇文献引用(2012–2023) 软件作者: Jean-Paul Watson;伍德拉夫,大卫·L·。;威廉·哈特(William E.Hart)。 相关软件: 皮奥莫;CPLEX;古罗比… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
TENSOLVE公司 28篇文献引用(1993–2022) 软件作者: 阿里·布瓦里查(Ali Bouaricha);罗伯特·施纳贝尔。 相关软件: minpack;MINPACK-2;MPSalsa… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);算子理论(47-XX);数值分析(65-XX)…
卡桑德拉 22篇文献引用(2012–2023) 软件作者: Lakshman,A.,Malik,P。 相关软件: 发电机;Bigtable;MongoDB… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
差异支出 26篇文献引用(2020年至2024年) 软件作者: Martijn隐藏 相关软件: LiteRed;火灾;AMFlow… 主要字段: 特殊功能(33-XX);数值分析(65-XX);计算机科学(68-XX)…
MB解析 28篇文献引用(2009–2023) 软件作者: 亚历山大·斯米尔诺夫;弗拉基米尔·斯米尔诺夫 相关软件: MB渐近;嘉年华;琥珀色… 主要字段: 数论(11-XX);代数几何(14-XX);特殊功能(33-XX)…
不明飞行物 22篇文献引用(2012–2022) 软件作者: Aws Albarghouthi、Yi Li、Arie Gurfinkel、Marsha Chechik 相关软件: 注册会计师检查;z3;爆炸… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
HySAT卫星 26篇文献引用(2006–2021) 软件作者: Fränzle,Martin;克里斯蒂安·赫尔德 相关软件: 高科技;数学SAT;SpaceEx… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
MTT法 27篇文献引用(2008–2023) 软件作者: Durán,F.,Lucas,S.,Meseguer,J。 相关软件: 莫德;AProVE;OBJ3… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…
ProbView(探测视图) 11份文件引用(2005–2018) 软件作者: Lakshmanan,V.S.、Leone,N.、Ross,R.和Subrahmanian,V.S。 相关软件: 三重奏;ProTDB;MYSTIQ… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
WinGULF公司 27篇文献引用(1999–2023) 软件作者: 埃里克·巴贾利诺夫。 相关软件: GloptiPoly;塞杜米;YALMIP… 主要字段: 变异微积分和最优控制;优化(49-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
BiMD公司 26篇文献引用(2004–2022) 软件作者: L.Brugnano、C.Magerini 相关软件: 商业智能;LIMbook;RODAS… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
DeepStack公司 26篇文献引用(2017–2023) 软件作者: 莫拉夫切克,马泰吉;马丁·施密德(Martin Schmid);尼尔·伯奇;维利亚姆·利西;达斯汀·莫里尔;诺兰·巴德;特雷弗·戴维斯;Waugh,Kevin;迈克尔·约翰逊(Michael Johanson);迈克尔·保龄球 相关软件: 天秤座;普里巴斯;游戏缩小… 主要字段: 常微分方程(34-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
MRST-AD公司 26篇文献引用(2016–2023) 软件作者: Krogstad,S.、Lie,K.-A.、Möyner,O.、Nilsen,H.M.、Raynaud,X.、Skaflestad,B 相关软件: MRST;Matlab;MRST-co2lab… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
项目Q 16篇文献引用(2019–2024) 软件作者: Damian S.Steiger、Thomas Häner、Matthias Troyer 相关软件: qHiPSTER;液体;Python… 主要字段: 偏微分方程(35-XX);计算机科学(68-XX);量子理论(81-XX)…
衍生宝石 23篇文献引用(2002–2023) 软件作者: 约翰·C·赫尔。 相关软件: fminsearch;KapSyn公司;罚款… 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);统计学(62-XX)…
盖泽博 19份文件引用(2006–2023) 软件作者: Koenig,N。;H·霍华德。 相关软件: 活性氧;MuJoCo;转子… 主要字段: 常微分方程(34-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
MPSalsa公司 24篇文献引用(1997–2010) 软件作者: 桑迪亚国家实验室 相关软件: 阿兹特克;阿兹特克OO;ARPACK… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
量子力学 18篇文献引用(2013年-2023年) 软件作者: 杰弗里·瑞恩 相关软件: R;量化风险管理;xts… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
TAU公司 13份文件引用(2007–2021) 软件作者: S.Shende;A.D.马洛尼 相关软件: HPCTOOLKIT;PETSc;Scalasca… 主要字段: 积分变换,运算微积分(44-XX);数值分析(65-XX);计算机科学(68-XX)…
商业智能 23篇文献引用(2004–2022) 软件作者: L.Brugnano、C.Magerini 相关软件: BiMD;LIMbook;RODAS… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
BliStr公司 22篇文献引用(2013年-2023年) 软件作者: J·厄本。 相关软件: E定理证明器;VAMPIRE公司;MaLARea… 主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)
NEFCLASS-X公司 16篇文献引用(1999–2015) 软件作者: 诺克·D。;克鲁斯,R。 相关软件: ANFIS;C4.5;UCI-ml… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
光电模拟 引用于9份文件(2002–2022) 软件作者: 威廉·H·贝尔。;大卫·G·卡梅隆(David G.Cameron)。;路易吉·卡波扎;Millar,A.Paul;库特·斯托金格(Kurt Stockinger);弗洛里亚诺·齐尼 相关软件: 网格模拟;Globus工具包;SIMGRID… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
收音机 22篇文献引用(2018–2024) 软件作者: 彼得·本纳(Peter Benner);兹沃尼米尔·布亚诺维奇;帕特里克·库什内尔(Patrick Kurschner);Jens Saak公司 相关软件: MESS;稀疏矩阵;莫拉布… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…
萨滕斯坦 引用于20份文件(2009–2023) 软件作者: KhudaBukhsh,Ashiqur R。;徐林;霍尔格·胡斯。;凯文·莱顿·布朗 相关软件: 帕拉米尔斯;irace;SMAC… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
Voom公司 21篇文献引用(2015–2023) 软件作者: Law,C.W.,Chen,Y.,Shi,W.,Smyth,G.K。 相关软件: 边缘R;生物导体;limma… 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)
修订版X 16篇文献引用(2015–2023) 软件作者: Naumov,M。;阿萨耶夫,M。;卡斯通盖,P。;科恩,J。;J·德茅斯。;伊顿,J。;Layton,S。;马尔科夫斯基,N。;Reguly,I。;Sakharnykh,N。;塞拉潘,V。;斯特佐德卡,R。 相关软件: CUDA;炒作;PETSc… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
约束拉索 21篇文献引用(2018–2024) 软件作者: 布莱恩·R·盖恩斯。;Kim,Juhyun;周,华 相关软件: R;古罗比;glmnet… 主要字段: 算子理论(47-XX);统计学(62-XX);数值分析(65-XX)…
FOMCON公司 引用于20份文件(2013–2022) 软件作者: A.Tepljakov、E.Petlenkov、J.Belikov 相关软件: 任天堂;克朗;Matlab… 主要字段: 实函数(26-XX);常微分方程(34-XX);统计学(62-XX)…
NuMVC公司 引用于20份文件(2013年-2023年) 软件作者: 蔡少伟;苏凯乐;罗川;阿卜杜勒·萨塔尔 相关软件: CCLS;CCASat;irace… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
太阳能 19份文件引用(1993–2022) 软件作者: Hidetomo Nabeshima、Koji Iwanuma、Katsumi Inoue、Oliver Ray 相关软件: E定理证明器;SPASS;SCIFF… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
SymmSpin公司 15篇文献引用(2000年-2010年) 软件作者: 博什纳奇奇,德拉甘作者简介;Dams,Dennis;莱泽克·霍伦德斯基 相关软件: 自旋蛋白;TopSpin;茂物… 主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);计算机科学(68-XX)
美国心脏协会 引用于20份文件(2022–2024) 软件作者: 赵卫国;王丽英;塞耶达利·米尔贾利利 相关软件: WOA;GWO;GSA… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
BrainNet查看器 18篇文献引用(2018–2024) 软件作者: 夏明,王杰,何毅。 相关软件: 大脑连接工具箱;Matlab;连接… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);动力系统和遍历理论(37-XX)…
铁 18篇文献引用(2006–2018) 软件作者: 泰杰·豪卡斯(Terje Haukaas);亚美尼亚语(Armen Der Kiureghian) 相关软件: Matlab;UQLab;Allaire_Scilab… 主要字段: 变异微积分和最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
FIESTA第三届 18篇文献引用(2014–2023) 软件作者: A.V.斯米尔诺夫。 相关软件: 嘉年华;12月第二节;LiteRed… 主要字段: 代数几何(14-XX);凸和离散几何(52-XX);数值分析(65-XX)…
GPGPU公司 在14份文件中引用(2006–2018) 软件作者: Luebke,D.,Harris,M.,Govindaraju,N.,Lefohn,A.,Houston,M。 相关软件: CUDA;OpenACC;OpenCL… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
HP90型 引用于20份文件(1995–2017) 软件作者: Demkowicz,L。;Gerdes,K。;施瓦布,C。;Bajer,A。;T·沃尔什。 相关软件: 3Dhp90;2Dhp90;PLAPACK… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
MaxSolver(最大解算器) 19份文件引用(2005–2013) 软件作者: 赵星、张伟雄 相关软件: 糠;MiniMaxSat;MiniSat… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…
MCMAS-SLK公司 19份文件引用(2014–2021) 软件作者: 乔马克,P。;Lomuscio,A。;莫加维罗,F。;A.穆拉诺。 相关软件: MCMAS;摩卡;鹰… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
波茨拉布 19份文件引用(2014–2023) 软件作者: 马丁·斯托拉斯(Martin Storath);安德烈亚斯·温曼 相关软件: BSDS;U-Net;AS 136… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
相思树+ 18篇文献引用(2014–2023) 软件作者: Bohy,A.,Bruyère,V.,Filiot,E.,Jin,N.,Raskin,J.F。 相关软件: 不偏不倚;条纹;BoSy… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
找不同 17篇文献引用(2008–2022) 软件作者: 萨德克·本萨勒姆;马吕斯·博兹加;Nguyen,Thanh-Hung;约瑟夫·西法基斯 相关软件: 莫纳;里奥;隔间… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
ModLeanTAP模式 19份文件引用(1998–2019) 软件作者: 贝恩哈德·贝克特;拉杰夫·戈尔 相关软件: 精益TAP;Coq;MSPASS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
佩特索2 19份文件引用(2005–2021) 软件作者: 亚历克斯·穆里略(Alex Murillo);维拉,J.费尔南多;威廉·J·海瑟。 相关软件: 禁忌搜索;塔克3-HICLAS;J均值… 主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…
HSL_MI28型 17篇文献引用(2014–2024) 软件作者: J.斯科特、Tůma、M。 相关软件: 稀疏矩阵;HSL;HSL_MA97… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…
ArcAngel公司 在14份文件中引用(2003–2023) 软件作者: 马塞尔·奥利维拉(Marcel Oliveira);安娜·卡瓦尔坎蒂;吉姆·伍德科克 相关软件: 马戏团;Z;电源保护… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CCASat卫星 17篇文献引用(2013年-2023年) 软件作者: 蔡少伟;苏凯乐 相关软件: CCLS;CCAnr;NuMVC… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);动力系统和遍历理论(37-XX)…
FSAIPACK公司 17篇文献引用(2015–2022) 软件作者: C.Janna、M.Ferronato、F.Sartoretto、G.Gambolia 相关软件: 稀疏矩阵;BFSAI-IC;ILUT… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
竖琴 15篇文献引用(1990–2020) 软件作者: Opacher,F。;苏恩,E 相关软件: SETHEO公司;TPTP;3TAP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ASTA公司 16篇文献引用(1990–2009) 软件作者: 托马斯·赫尔斯特罗姆 相关软件: Matlab公司 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
CFX-5型 16篇文献引用(2005–2016) 软件作者: 罗兰德·瓦什内尔(Roland Wüchner);亚历山大·库普佐克(Alexander Kupzok);凯乌·布莱辛格 相关软件: CARAT公司;ANSYS;FLUENT… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
国际博协 16篇文献引用(2005–2021) 软件作者: Y.利巴。 相关软件: BARON公司;数字;COCONUT… 主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…