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.