Numerical existence and uniqueness proof for solutions of semilinear parabolic equations Original Research Article

We describe a numerical method to verify the existence and local uniqueness of solutions of semilinear parabolic equations. We present a detailed description of the verification procedure and determine error bounds for its computation. Several examples are given.