Currently displaying 1 – 1 of 1

Showing per page

Order by Relevance | Title | Year of publication

A verified method for solving piecewise smooth initial value problems

Ekaterina AuerStefan KielAndreas Rauh — 2013

International Journal of Applied Mathematics and Computer Science

In many applications, there is a need to choose mathematical models that depend on non-smooth functions. The task of simulation becomes especially difficult if such functions appear on the right-hand side of an initial value problem. Moreover, solution processes from usual numerics are sensitive to roundoff errors so that verified analysis might be more useful if a guarantee of correctness is required or if the system model is influenced by uncertainty. In this paper, we provide a short overview...

Page 1

Download Results (CSV)