Reprint Server

Taylor Models and Floating-Point Arithmetic: Proof that Arithmetic Operations are Validated in COSY


The goal of this paper is to prove that the implementation of Taylor models in COSY, based on floating-point arithmetic, computes results satisfying the containment property, i.e. guaranteed results.

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


Click on the icon to download the corresponding file.

Download Adobe PDF version (276359 Bytes).

Go Back to the reprint server.
Go Back to the home page.

This page is maintained by Kyoko Makino. Please contact her if there are any problems with it.