-
Affine Arithmetic
F Immler - Archive of Formal Proofs (Feb. 2014). http://isa-afp. org ..., 2016 - isa-afp.org
We give a formalization of affine forms [1, 2] as abstract representations of zonotopes. We
provide affine operations as well as overapproximations of some non-affine operations like ...
Project duration evaluated using affine arithmetic
... in this paper the application of the Affine Arithmetic technique. This method treats the variables
as ... Adopting Affine Arithmetic, the results are reported in terms of intervals, avoiding the ...