1. T. Minamoto and M.T. Nakao, Numerical verifications of solutions for nonlinear parabolic equations in one-space dimensional case (preprint).
2. Explicit H2-estimates and pointwise bounds for solutions of second-order elliptic boundary value problems;Plum;Journal of Mathematical Analysis and Applications,1992
3. Nonlinear Functional Analysis and Its Applications II/A;Zeidler,1990
4. Crosswind smear and pointwise errors in streamline diffusion finite element methods;Johnson;Math. Comp.,1987
5. Numerical Approximation of Partial Differential Equations;Quarteroni,1994