Numerical Existence and Uniqueness Proof for Solutions of Nonlinear Hyperbolic Equations

We consider a numerical method to verify the existence and uniqueness of the solutions of nonlinear hyperbolic problems with guaranteed error bounds. Using a...