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