Validated Numerical Approximation of Stable Manifolds for Parabolic Partial Differential Equations
JOURNAL OF DYNAMICS AND DIFFERENTIAL EQUATIONS(2023)
关键词
Parabolic partial differential equations,stable manifold,Lyapunov-Perron method,Parameterization method,Rigorous numerics,Computer assisted proof
AI 理解论文
溯源树
样例

生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要