Efficient rigorous numerics for higher-dimensional PDEs via one-dimensional estimates - Gameiro, Márcio Fuzeto; Lessard, Jean-Philippe (SIAM Journal on Numerical Analysis, 2013)