First, Taylor models are defined and their implementation in the COSY software by Makino and Berz is detailed.
Afterwards IEEE-754 floating-point arithmetic is introduced. Then the core of this paper is presented: the algorithms implemented in COSY for multiplying a Taylor model by a scalar, for adding or multiplying two Taylor models are given and are proven to return Taylor models satisfying the containment property.
N. Revol, K. Makino, M. Berz, Journal of Logic and Algebraic Programming 64 (2005) 135-154 University of Lyon LIP Report RR 2003-11, MSU HEP report 30212
This page is maintained by Kyoko Makino. Please contact her if there are any problems with it.