A numerical verification method for solutions of nonlinear parabolic problems
International Conference on Engineering and Computational Mathematics (ECM2009)
Hong Kong, China