-
Range Based Analysis of Inner Systems Characteristics
M Rathmair - publik.tuwien.ac.at
... -symbolic calculation methodology based on Affine Arithmetic is used. Abstract symbols
describe ... An object oriented implementation of an Affine Arithmetic datatype and corresponding ...
Special section on recent progress in verified numerical computations
T Ogita, K Ozaki, SM Rump - Nonlinear Theory and Its Applications ..., 2015 - jstage.jst.go.jp
... Rump and Masahide Kashiwagi is concerned with affine arithmetic, which can reduce the
wrapping effect of naive interval arithmetic. On the regular papers, the following variety of ...