Affine Arithmetic

Fabian Immler 🌐

February 7, 2014

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


We give a formalization of affine forms as abstract representations of zonotopes. We provide affine operations as well as overapproximations of some non-affine operations like multiplication and division. Expressions involving those operations can automatically be turned into (executable) functions approximating the original expression in affine arithmetic.


BSD License


September 20, 2017
linear approximations for all symbols from the floatarith data type
January 31, 2015
added algorithm for zonotope/hyperplane intersection


Session Affine_Arithmetic