3 search results - page 1 / 1 » A Certified Infinite Norm for the Implementation of Elementa... |
QSIC
2007
IEEE
15 years 26 days ago
2007
IEEE
CORR
2008
Springer
14 years 6 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
14 years 6 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...