Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates
DOI10.1137/110836651zbMath1277.65084OpenAlexW2005353159MaRDI QIDQ2855098
Marcio Gameiro, Jean-Philippe Lessard
Publication date: 24 October 2013
Published in: SIAM Journal on Numerical Analysis (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/20.500.11824/612
algorithmerror estimatesnumerical examplesfast Fourier transforminterval arithmeticcollocationrigorous numericsCahn-Hillard equationcomputer assisted proofsequilibria of PDEshigher-dimensional PDEs
PDEs in connection with fluid mechanics (35Q35) Interval and finite arithmetic (65G30) Numerical methods for discrete and fast Fourier transforms (65T50) Spectral, collocation and related methods for initial value and initial-boundary value problems involving PDEs (65M70) Error bounds for initial value and initial-boundary value problems involving PDEs (65M15)
Related Items (18)
This page was built for publication: Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates