Affine Arithmetic

Fabian Immler 🌐

February 7, 2014


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