Affine arithmetic: concepts and applications. (English) Zbl 1074.65050
Summary: Affine arithmetic is a model for self-validated numerical computation that keeps track of first-order correlations between computed and input quantities. We explain the main concepts in affine arithmetic and how it handles the dependency problem in standard interval arithmetic. We also describe some of its applications.
MSC:
65G30 | Interval and finite arithmetic |
65G20 | Algorithms with automatic result verification |
65D17 | Computer-aided design (modeling of curves and surfaces) |