@inproceedings{inproceedings47f4833e,
title   = {Rigorous numerics for nonlinear PDEs: part I},
author = {Gameiro, Márcio Fuzeto and Lessard, Jean-Philippe and Pugliese, Alessandro},
year = {2014},
publisher = {ICMC-USP},
booktitle   = {ICMC Summer Meeting on Differential Equations}
}