Numerical verification of solutions for nonlinear hyperbolic equations Original Research Article

We consider a numerical method to verify the solutions for nonlinear hyperbolic problems with guaranteed error bounds in the one-space dimensional case. We present verification procedures and show some numerical examples.