Expressions are multilinear when variable occurrences are linear and products have factors using different variables. We demonstrate that mul- tilinear expressions are either constant or have never a local minimum or a local maximum. Therefore the interval of multilinear expressions may be computed precisely studying their values at the bounds of the variables therein. We then propose a technique for the interval analysis of generic expressions that transforms them into multilinear ones and compute the interval of the latters.
The Interval Analysis of Multilinear Expressions / C. Laneve; T. Lascu; V. Sordoni. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - STAMPA. - 267:(2010), pp. 43-53. (Intervento presentato al convegno Tools for Automatic Program AnalysiS (TAPAS) tenutosi a Perpignan, France nel 17 September 2010) [10.1016/j.entcs.2010.09.017].
The Interval Analysis of Multilinear Expressions
LANEVE, COSIMO;LASCU, TUDOR ALEXANDRU;SORDONI, VANIA
2010
Abstract
Expressions are multilinear when variable occurrences are linear and products have factors using different variables. We demonstrate that mul- tilinear expressions are either constant or have never a local minimum or a local maximum. Therefore the interval of multilinear expressions may be computed precisely studying their values at the bounds of the variables therein. We then propose a technique for the interval analysis of generic expressions that transforms them into multilinear ones and compute the interval of the latters.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.