Sciweavers

6 search results - page 2 / 2
» Verified Real Number Calculations: A Library for Interval Ar...
Sort
View
RC
1998
82views more  RC 1998»
13 years 4 months ago
A Note on Epsilon-Inflation
Abstract. The epsilon-inflation proved to be useful and necessary in many verification algorithms. Different definitions of an epsilon-inflation are possible, depending on the...
Siegfried M. Rump