Algorithm for min-range multiplication of affine forms (Q2391826)

An efficient method is presented for computing the minimum range (min-range) affine approximation of the product of arbitrary affine forms that do not contain the zero properly. Affine arithmetic produces guaranteed enclosures for computed quantities, taking into account any uncertainties in the input data as well as round-off errors. Elementary operations on affine forms are redefined so they result in affine forms. Affine-linear operations result straightforwardly in affine forms. Nonlinear operators, such as multiplication, must be approximated by affine forms. Thus, the selection of an appropriate approximation is a big challenge, since different approximations may be more accurate for specific purposes. Four numerical experiments are carried out to demonstrate the essential features of the proposed approach, especially its usefulness for bounding ranges of functions for global optimization and for finding roots of functions.