Autor: Hans J. Stetter

Due to the fundamental role of differential equations in science and engineering it has long been a basic task of numerical analysts to generate numerical values of solutions to differential equation …

Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many years. A good number of meetings have b …