Matlab语言 13812年文献引用(1982年至2025年) 软件作者: MathWorks公司 相关软件: Simulink;LMI工具箱;枫树… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
枫树 引用于5366份文件(1983–2024) 软件作者: 滑铁卢枫树公司。 相关软件: Mathematica;Matlab;岩浆… 主要字段: 数论(11-XX);常微分方程(34-XX);偏微分方程(35-XX)…
DLMF公司 3760份文件中引用(2000–2024) 软件作者: 丹尼尔·洛泽尔(Daniel W.Lozier)。 相关软件: 数学;Matlab;OEIS… 主要字段: 特殊功能(33-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…
蟒蛇 1424年文献引用(1991–2025) 软件作者: 吉多·范罗苏姆 相关软件: SciPy;数字Py;Matplotlib… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
PETSc公司 1785年文献引用(1996–2024) 软件作者: S.Balay、W.D.Gropp、L.C.McInnes、B.F.Smith 相关软件: FEniCS;MUMPS;炒作… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
ABAQUS公司 1722年文献引用(1985年至2024年) 软件作者: Simulia(达索系统);ABAQUS公司 相关软件: ABAQUS/标准;UMAT;Matlab… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
LMI工具箱 1493年文献中引用(1995–2024) 软件作者: 数学作品;Gahinet,P。;内米洛夫斯基,A。;劳布,A.J。;M.奇拉利。 相关软件: Matlab;控制系统工具箱;YALMIP… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);运筹学,数学规划(90-XX)…
CUDA公司 1179年文献引用(2007–2024) 软件作者: NVIDIA公司;佩特·文格曼;Frank H.P.菲泽克。 相关软件: OpenCL;立方体;Matlab… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
FEniCS公司 1162文件引用(2007–2024) 软件作者: 剑桥大学、芝加哥大学、得克萨斯理工大学和KTH皇家理工学院模拟研究实验室 相关软件: SyFi;PETSc;道芬… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
伊莎贝尔/霍尔 1068年文献引用(1996–2024) 软件作者: 沃尔夫冈·纳拉斯切夫斯基(Wolfgang Naraschewski);托比亚斯·尼普科 相关软件: 伊莎贝尔;Coq;HOL… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
量化风险管理 875份文件引用(2005–2024) 软件作者: 伯恩哈德·普法夫;马吕斯·霍弗特;亚历山大·麦克尼尔;斯科特·乌尔曼 相关软件: R;CopulaModel;连接词… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
Simulink公司 704份文件引用(1994–2024) 软件作者: MathWorks公司 相关软件: Matlab;歌曲15;状态流… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
规范化工具 809份文件引用(1994–2024) 软件作者: 汉森,Per Christian 相关软件: UTV;LSQR;IR工具… 主要字段: 偏微分方程(35-XX);算子理论(47-XX);数值分析(65-XX)…
z3(零3) 760份文件引用(2001–2024) 软件作者: 微软研究院;莱昂纳多·德·莫拉;尼古拉·比约纳 相关软件: CVC4;SMT-LIB;Yices… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
ANSYS有限元分析软件 750份文件中引用(1978–2024) 软件作者: John Swanson,Ansys公司。 相关软件: ABAQUS;Matlab;FLUENT… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
交易.ii 引用于723份文件(1999–2024) 软件作者: Bangerth W、Hartman R、Kanschat G 相关软件: 特里利诺斯;PETSc;测试… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
伊莎贝尔 734份文件中引用(1990–2023) 软件作者: 拉里·保尔森(Larry Paulson)、托比亚斯·尼普科(Tobias Nipkow)、马卡里乌斯·温泽尔(Makarius Wenzel) 相关软件: Isabelle/HOL;HOL;Coq… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
开放式泡沫 662份文件引用(2007–2024) 软件作者: OpenCFD有限公司(ESI集团) 相关软件: FLUENT公司;Matlab;PETSc… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
Uppaal公司 引用于568份文件(1990–2023) 软件作者: 瑞典乌普萨拉大学;丹麦奥尔堡大学 相关软件: 克罗诺斯;高科技;旋转… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
S-PLUS系统 621份文件引用(1994–2024) 软件作者: TIBCO软件公司。 相关软件: R;MEMSS;SAS… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
PVS公司 617文件引用(1993–2023) 软件作者: Sam Owre、Natarajan Shankar、John Rushby 相关软件: Coq;Isabelle/HOL;HOL… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
切割机 648份文件引用(1994年至2024年) 软件作者: 尼古拉斯·I.M.古尔德。;多米尼克·奥尔班;马桶,Philippe L 相关软件: 可爱的;12月6日;L-BFGS… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
HOL公司 592篇文献引用(1985–2023) 软件作者: 迈克尔·J·C·戈登。 相关软件: 伊莎贝尔;Isabelle/HOL;ML… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
鲁棒基地 570份文件引用(1992–2024) 软件作者: 彼得·卢梭;克里斯托夫·克劳斯;瓦伦丁·托多罗夫、安德烈亚斯·鲁克斯图尔、马蒂亚斯·萨利比安·巴雷拉、托比亚斯·韦贝克、曼努埃尔·科勒、马丁·梅克勒 相关软件: R;RobStatTM;rrcov… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
切布冯 522份文件引用(2004–2024) 软件作者: Chebfun团队;A Driscoll,N.Hale,L.N.Trefethen 相关软件: Matlab语言;DLMF;Chebfun2… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);偏微分方程(35-XX)…
SAS/STAT系统 引用于405份文件(1992–2023) 软件作者: SAS公司 相关软件: SAS;R;Stata… 主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…
特里利诺斯 423份文件引用(2003–2024) 软件作者: Trilinos贡献者 相关软件: PETSc;交易.ii;ML… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
Nuprl公司 418份文件引用(1986–2023) 软件作者: R.L.Constable、S.F.Allen、H.M.Bromley、W.R.Cleaveland、J.F.Cremer、R.W.Harper、D.J.Howe、T.B.Knoblock、N.P.Mendler、P.Panangaden、J.T.Sasaki、S.F Smith 相关软件: Coq;HOL;自动… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
生物导体 引用于253份文件(2003–2024) 软件作者: 开放式开发项目 相关软件: R;gcrma;edgeR… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
全球供应链 357份文件引用(1997年-2023年) 软件作者: 冲谷 相关软件: R;半标准杆;fda(R)… 主要字段: 功能分析(46-XX);概率论与随机过程(60-XX);统计学(62-XX)…
NuSMV公司 279篇文献引用(1999–2023) 软件作者: 亚历山德罗·西马蒂;埃德蒙·克拉克;福斯托·金西格里亚(Fausto Giunchiglia);马可·罗维里(Marco Roveri);罗伯特·卡瓦达(Roberto Cavada)、米歇尔·多里加蒂(Michele Dorigatti)、亚历山德罗·马里奥蒂(Alessandro Mariotti),安德烈亚·米切利(Andrea Micheli)、塞尔吉奥·莫弗(Sergio Mover)、马可·罗维里(Marco Rover 相关软件: 自旋蛋白;CUDD;Uppaal… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
HOL灯 319份文件引用(1998–2024) 软件作者: 约翰·哈里森 相关软件: 辅酶q;Isabelle/HOL;HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…
并入PT_90 310份文件引用(1996–2023) 软件作者: R.Baker Kearfott先生 相关软件: 国际实验室;C-XSC;个人资料/偏见… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
UTV公司 294份文件引用(1997–2024) 软件作者: 里卡多·D·费罗。;汉森,Per Christian 相关软件: 正规化工具;LSQR;Matlab… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…
CHEMKIN公司 271份文件引用(1982年至2024年) 软件作者: 桑迪亚国家实验室;Coltrin,M.E.,Kee,R.J.,Rupley,F.M.,Meeks,E。 相关软件: 运输;投票;预混合… 主要字段: 常微分方程(34-XX);数值分析(65-XX);流体力学(76-XX)…
克里斯托费尔 267篇文献引用(1996–2024) 软件作者: 托宾·A·德里斯科尔 相关软件: SC工具箱;Matlab;SCPACK… 主要字段: 复变量函数(30-XX);偏微分方程(35-XX);数值分析(65-XX)…
C解析 257篇文献引用(2006–2023) 软件作者: 蒂莫西·戴维斯(Timothy A.Davis)。 相关软件: 稀疏矩阵;Matlab;symrcm… 主要字段: 统计学(62-XX);数值分析(65-XX);变形固体力学(74-XX)…
PHC包 250篇文献引用(1999–2024) 软件作者: 简·维舍尔 相关软件: 贝尔蒂尼;麦考利2号;HOM4PS… 主要字段: 场论与多项式(12-XX);交换代数(13-XX);代数几何(14-XX)…
XPRESS公司 243篇文献引用(1989–2023) 软件作者: FICO公司 相关软件: CPLEX;SCIP;MIPLIB… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
踪迹 244篇文献引用(2014年至2024年) 软件作者: 阿道夫·皮佩诺 相关软件: nauti;SageMath;间隙… 主要字段: 组合数学(05-XX);凸和离散几何(52-XX);计算机科学(68-XX)…
可爱的 244篇文献引用(1994–2024) 软件作者: 邦加兹,I。;康涅狄格州A。;古尔德,N。;厕所,博士。 相关软件: 切割机;L-BFGS;minpack… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
PSI-爆炸 141份文件引用(1999–2022) 软件作者: Altschul,S.F.、Madden,T.L.、Schäffer,A.A.、Zhang,J.、Zhan,Miller,W.、Lipman,D.J。 相关软件: 爆炸;Pfam;UniProt… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
12月6日 236篇文献引用(2003–2023) 软件作者: 尼古拉斯·I.M.古尔德。;多米尼克·奥尔班;菲利普·托因。 相关软件: 切割机;最小包装;L-BFGS… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
斯帕斯基 225篇文献引用(1991–2024) 软件作者: 萨阿德 相关软件: ITSOL;ILUT;稀疏矩阵… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
JuMP公司 194份文件引用(2017–2024) 软件作者: I.Dunning、J.Huchette、M.Lubin 相关软件: 朱莉娅;古罗比;Ipopt… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…
连接线 181份文件引用(2008–2023) 软件作者: Marius Hofert、Ivan Kojadinovic、Martin Maechler、Jun Yan 相关软件: copula;R;QRM… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
无人值守地面 185篇文献引用(1994–2021) 软件作者: 巴斯蒂安,P。;伯肯,K。;Johannsen,K。;朗·S。;Neuß,北。;伦茨·雷切尔,H。;维纳斯,C。 相关软件: DUNE;PETSc;PLTMG… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
预测 161份文件引用(2006–2024) 软件作者: Rob J Hyndman;斯拉瓦·拉兹巴什;德鲁·施密特 相关软件: 预测;R;expsmooth;…(扩展平滑;…)… 主要字段: 统计学(62-XX);计算机科学(68-XX);地球物理学(86-XX)…
LIBLINEAR银行 163篇文献引用(2008–2024) 软件作者: 荣恩范;张凯伟;谢卓绝;王祥瑞;林智仁 相关软件: LIBSVM;UCI-ml;Pegasos… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
CVC4型 185篇文献引用(2013–2023) 软件作者: Barrett,C.、Conway,C.L.、Deters,M.、Hadarean,L.、Jovanović,D.、King,T.、Reynolds,A.、Tinelli,C。 相关软件: z3;SMT-LIB;数学SAT5… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…
科学实验室 173篇文献引用(1999–2023) 软件作者: Scilab企业;里卡多·法布里 相关软件: Matlab;倍频程;R、 … 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
KEEL公司 113篇文献引用(2009–2024) 软件作者: Alcalá-Fdez,J。;桑切斯,L。;南卡罗来纳州加西亚。;德尔·耶稣,M.J。;文图拉,S。;加雷尔,J.M。;Otero,J。;罗梅罗,C。;百加得,J。;里瓦斯,V.M。;Fernández,J.C。;F.埃雷拉。 相关软件: JStatCom;UCI-ml;C4.5… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
套管,套管 174篇文献引用(1999–2023) 软件作者: 蒂尔·莫萨科夫斯基 相关软件: OBJ咖啡馆;赫茨;莫德… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
Matrix市场 175份文件中引用(1999–2024) 软件作者: Boisvert R.、Pozo R.、Remington K.、Barrett R.和Dongarra J 相关软件: 稀疏矩阵;Matlab;Harwell-Being稀疏矩阵集合… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
耐克5000 171篇文献引用(2010–2024) 软件作者: 佩普林斯基,A。;施拉特,P。;菲舍尔,P.F。;D.S.亨宁森。 相关软件: Nektar++;西蒙森;Gmsh… 主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
Globus工具包 61篇文献引用(2000–2022) 软件作者: 芝加哥大学;伊恩·福斯特。。。 相关软件: Condor-G;MPICH-G2;Nimrod/G… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
酯类 137篇文献引用(1985–2023) 软件作者: 杰拉德·贝瑞 相关软件: 卢斯特;信号;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
LiteRed公司 160篇文献引用(2013–2024) 软件作者: R·李 相关软件: 火灾;雷杜泽;消防5… 主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子和系统力学(70-XX)…
gfun公司 153篇文献引用(1992–2023) 软件作者: B.救助;P.齐默尔曼 相关软件: 枫树;组织环境信息系统;生成函数… 主要字段: 组合数学(05-XX);数论(11-XX);特殊功能(33-XX)…
费恩规则 145篇文献引用(2010–2024) 软件作者: A.Alloul、N.D.Christensen、C.Degrade、C.Duhr、B.Fuks 相关软件: FeynArts;MadGraph;PYTHIA8… 主要字段: 概率论与随机过程(60-XX);粒子和系统力学(70-XX);量子理论(81-XX)…
简化 135份文件引用(2001–2023) 软件作者: Detlefs,D。;Nelson,G。;J·B·萨克斯 相关软件: z3;电子稳定控制系统/Java;规范#… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
克林戈 139篇文献引用(2009–2023) 软件作者: 马丁·格布瑟;罗兰·卡明斯基;本杰明·考夫曼;托尔斯滕·绍布 相关软件: 格林戈;卡环;WASP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
地理PDE 142篇文献引用(2011–2023) 软件作者: de Falco,C。;Reali,A。;瓦兹奎兹,R。 相关软件: ISOGAT;IETI;Matlab… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
预测 136篇文献引用(2010–2024) 软件作者: Rob J Hyndman;乔治·阿萨纳索普洛斯(George Athanasopoulos)、斯拉瓦·拉兹巴什(Slava Razbash)、德鲁·施密特(Drew Schmidt 相关软件: 预测;R;expsmooth;…(扩展平滑;…)… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
J工具 141份文件引用(2008–2024) 软件作者: 克劳德·本扎肯;纳迪娅·布劳纳 相关软件: 组织环境信息系统;MiniSat;GitHub… 主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
CADP公司 115篇文献引用(1997–2023) 软件作者: 休伯特·加拉维;赫尔曼斯,霍尔格;CONVCS团队 相关软件: 自旋蛋白;LOTOS;Uppaal… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
机锋网 137篇文献引用(2006–2024) 软件作者: 安德斯·内德加德·詹森 相关软件: 单一;麦考利2号;聚乙烯… 主要字段: 交换代数(13-XX);代数几何(14-XX);凸和离散几何(52-XX)…
班德拉 105篇文献引用(2000–2023) 软件作者: 约翰·哈特克利夫;马修·德怀尔 相关软件: 自旋蛋白;Java PathFinder;veriSoft… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
测试U01 127篇文献引用(2005–2024) 软件作者: P.L'Ecuyer;R.西马德 相关软件: MersenneTwister;迪哈德;NIST统计测试套件… 主要字段: 动力系统与遍历理论(37-XX);统计学(62-XX);数值分析(65-XX)…
A群集 101篇文献引用(2007年-2023年) 软件作者: 布伦丹·J·弗雷;德尔伯特·杜克;乌尔里希·博登霍夫(Ulrich Bodenhofer)、约翰·帕尔姆(Johannes Palme)、克拉特斯·梅尔科尼安(Chrats Melkonian)、安德烈亚斯·科特梅尔(Andreas Kothmeier) 相关软件: apcluster;UCI-ml;clusfind… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
抓斗切割 70篇文献引用(2007–2023) 软件作者: Rother C、Kolmogorov V、Blake A。 相关软件: MAXFLOW;BSDS;PASCAL VOC… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
格林戈 110篇文献引用(2007–2023) 软件作者: 马丁·格布瑟、罗兰·卡明斯基、本杰明·考夫曼、马克斯·奥斯特罗斯基、托尔斯滕·绍布、斯文·蒂勒 相关软件: 克林戈;卡环;WASP… 主要字段: 数理逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
M-MACBETH公司 120篇文献引用(1994–2024) 软件作者: 卡洛斯·巴纳·科斯塔;让-马里·德·科尔特;Jean-Claude Vansnick女士 相关软件: UTA Plus;视觉UTA;电气… 主要字段: 测量和集成(28-XX);统计学(62-XX);计算机科学(68-XX)…
政治公众人物协议 111篇文献引用(1995–2024) 软件作者: 简·希尔斯顿;http://www.dcs.ed.ac.uk/pepa/people网站/ 相关软件: 生物-PEPA;棱镜;生物活性炭… 主要字段: 概率论与随机过程(60-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)…
插补 100篇文献引用(2002年-2023年) 软件作者: 俄勒冈州特罗扬斯卡娅。;康托,M。;夏洛克,G。;布朗,P。;哈斯蒂,T。;Tibshirani,R。;博茨坦,D。;奥特曼,R。 相关软件: R;softImpute;会展… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
皮奥莫 103篇文献引用(2012–2024) 软件作者: 威廉·哈特(William E.Hart)。;卡尔·莱尔德;Jean-Paul Watson;大卫·L·伍德拉夫。 相关软件: 古罗比;Ipopt;CPLEX… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
Mu分析与合成工具箱 109篇文献引用(1993–2021) 软件作者: 数学作品;加里·巴拉斯(Gary J.Balas)、约翰·多伊尔(John C.Doyle)、基斯·格洛弗(Keith Glover)、安迪·帕卡德(Andy Packard)、罗伊·史密斯(Roy Smith) 相关软件: 鲁棒控制工具箱;LMI工具箱;Matlab… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);变形固体力学(74-XX)…
Pfam公司 57篇文献引用(1999年至2021年) 软件作者: Finn RD、Mistry J、Schuster-Bockler B、Griffiths-Jones S、Hollich V、Lassmann T、Moxon S、Marshall M、Khanna A、Durbin R、Eddy SR、Sonnhammer EL、Bateman A 相关软件: 磅/平方英寸;爆炸;KEGG… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
TOMLAB公司 102份文件引用(1999–2024) 软件作者: 霍姆斯特罗姆,K.,戈兰,A.O.,埃德瓦尔,M.M。 相关软件: OPERA;NLPLIB;Matlab… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…
伊莎贝尔/伊萨尔 100篇文献引用(2002年-2023年) 软件作者: 马库斯·温泽尔等人。 相关软件: 伊莎贝尔;Isabelle/HOL;Isar… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
锡林克斯 24篇文献引用(1994–2023) 软件作者: 赛灵思股份有限公司。 相关软件: Handel-C;Matlab;Simulink… 主要字段: 场论与多项式(12-XX);计算机科学(68-XX);量子理论(81-XX)…
ILOG时间表 87份文件引用(1996–2023) 软件作者: C·勒帕佩 相关软件: CPLEX;炸薯条;JOBSHOP… 主要字段: 历史与传记(01-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
AGG公司 71篇文献引用(1994–2023) 软件作者: 加布里埃尔·坦泽尔 相关软件: 沟槽;进度;AToM3… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);范畴理论;同调代数(18-XX)…
精益 89份文件引用(2015–2024) 软件作者: 微软;莱昂纳多·德·莫拉;孔顺浩;杰里米·阿维加德;弗洛里斯·范·道恩(Floris van Doorn);雅各布·冯·劳默 相关软件: Coq;伊莎贝尔·霍尔;Agda… 主要字段: 数学逻辑与基础(03-XX);数论(11-XX);范畴理论;同调代数(18-XX)…
阿帕奇火花 74份文件引用(2015–2023) 软件作者: apache.org网站 相关软件: MLlib;MapReduce;Hadoop… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
Potassco公司 82份文件引用(2008–2023) 软件作者: 马丁·格布瑟(Martin Gebser);本杰明·考夫曼;罗兰·卡明斯基(Roland Kaminski);马克斯·奥斯特罗斯基;托尔斯滕·绍布(Torsten Schaub);马吕斯·施奈德 相关软件: 克林戈;格林戈;扣… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
SWI序言 76篇文献引用(2000–2024) 软件作者: Wielemaker,J.、Schrijvers,T.、Triska,M.、Lager,T。 相关软件: SICStus公司;YAP-Prolog;XSB… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
可视化C++ 84份文件引用(1993年-2023年) 软件作者: 微软 相关软件: Visual Basic;OpenGL;VisualStudio。NET… 主要字段: 微分几何(53-XX);数值分析(65-XX);计算机科学(68-XX)…
科内克特 84份文件引用(2014–2023) 软件作者: J.库内吉斯 相关软件: SNAP;plfit;帕杰克… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
琼博 79份文件引用(2002–2023) 软件作者: Colella,P.,Graves,D.T.,Ligocki,T.J.,Martin,D.F.,Modiano,D.,Serafini,D.B.,Straalen,B.V。;ANAG公司 相关软件: 帕拉梅什;p4测试;SAMRAI… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
混合工具 67篇文献引用(2010–2023) 软件作者: T.Benaglia、D.Chauveau、D.R.Hunter、D.Young 相关软件: R;mclust;flexmix… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
停机坪 80篇文献引用(1991–2023) 软件作者: 珍妮特·伯特朗;安托万·米内 相关软件: ASTREE公司;PPL;z3… 主要字段: 凸和离散几何(52-XX);数值分析(65-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)…
坎特拉 69篇文献引用(2009–2023) 软件作者: D.Goodwin、N.Malaya、H.Moffat、R.Speth 相关软件: GRI-科技3.0;CHEMKIN公司;OpenFOAM… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
CUBIT公司 77份文件引用(1996–2023) 软件作者: 桑迪亚国家实验室 相关软件: PETSc公司;特里利诺斯;Gmsh… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…