Affine Arithmetic

Fabian Immler

7 February 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

Change history

[2015-01-31] added algorithm for zonotope/hyperplane intersection
[2017-09-20] linear approximations for all symbols from the floatarith data type

Depends On

Used by


Related Entries