Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic.
Eric GoubaultSylvie PutotPublished in: SAS (2007)
Keyphrases
- real numbers
- interval arithmetic
- set valued
- arithmetic operations
- ordered fuzzy numbers
- quantifier free
- piecewise affine
- fuzzy numbers
- affine invariant
- linear inequalities
- efficient computation
- affine transformation
- constraint solver
- closed form
- expert systems
- approximation methods
- artificial intelligence
- real world