Numerical verification of solutions for nonlinear parabolic problems
K. HashimotoT. KinoshitaM.T. Nakao
Numerical Functional Analysis and Optimization