3 search results - page 1 / 1 » A Certified Infinite Norm for the Implementation of Elementa... |
QSIC
2007
IEEE
13 years 11 months ago
2007
IEEE
CORR
2008
Springer
13 years 4 months ago
2008
Springer
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
AUTOMATICA
2002
13 years 4 months ago
2002
This paper presents a series expansion for the evolution of a class of nonlinear systems characterized by constant input vector fields. We present a series expansion that can be c...