@article{article53ef8c50,
title   = {Efficient rigorous numerics for higher-dimensional PDEs via one-dimensional estimates},
author = {Gameiro, Márcio Fuzeto and Lessard, Jean-Philippe},
year = {2013},
doi = {10.1137/110836651},
journal   = {SIAM Journal on Numerical Analysis}
}