Zgliczyński, P. (2010). Rigorous numerics for dissipative PDEs III. An effective algorithm for rigorous integration of dissipative PDEs. Topological Methods in Nonlinear Analysis, 36(2), 197–262. Retrieved from https://apcz.umk.pl/TMNA/article/view/TMNA.2010.035