Numerical verification of solutions for
โ
T. Minamoto
๐
Article
๐
1997
๐
Elsevier Science
๐
English
โ 370 KB
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.