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.

Abstract

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.

License

BSD License

History

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

Topics

Session Affine_Arithmetic

Depends on

Used by

Cite

× 
@article{Affine_Arithmetic-AFP,
  author  = {Fabian Immler},
  title   = {Affine Arithmetic},
  journal = {Archive of Formal Proofs},
  month   = {February},
  year    = {2014},
  note    = {\url{https://isa-afp.org/entries/Affine_Arithmetic.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: