Ramona Westphal

Learn More
Verified integration of initial value problems for sets of ordinary differential equations can be performed by numerous approaches. The most important ones are based on either interval or Taylor model arithmetic and enclose with certainty the sets of reachable states at a given point of time. Commonly, such tools are based on a Taylor series expansion of(More)
  • 1