The interval analysis of multilinear expressions

Electronic Notes in Theoretical Computer Science

Volumn 267, Issue 2, 2010, Pages 43-53

  Laneve, Cosimo ^a   Lascu, Tudor A ^a   Sordoni, Vania ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Gradient of functions; Interval analysis; Multilinear expressions

Indexed keywords

GENERIC EXPRESSION; GRADIENT OF FUNCTIONS; INTERVAL ANALYSIS; LOCAL MAXIMUM; LOCAL MINIMUMS; MULTILINEAR EXPRESSIONS;

EID: 77957743171     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2010.09.017     Document Type: Article

References (6)

1. P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux, and X. Rival The astreé analyzer S. Sagiv, ESOP Lecture Notes in Computer Science vol. 3444 2005 Springer 21 30
2. A. Gaganov Computational complexity of the range of the polynomial in several variables Cybernetics and Systems Analysis 21 4 July 1985 418 421
3. D. Grigoriev, and N. Vorobjov Solving systems of polynomial inequalities in subexponential time J. Symb. Comput. 5 1/2 1988 37 64
4. E. Hansen Generalized interval arithmetic Interval Mathematics Lecture Notes in Computer Science vol. 29 1975 Springer Berlin / Heidelberg 7 18
5. A. Miné. Symbolic methods to enhance the precision of numerical abstract domains. In Proc. of the 7th Int. Conf. on Verification, Model Checking, and Abstract Interpretation (VMCAI'06), volume 3855 of Lecture Notes in Computer Science, pages 348-363, Charleston, South Carolina, USA, January 2006. Springer.
6. A.L.V. Kreinovich, and J. Rohn Computational Complexity of Interval Algebraic Problems: Some Are Feasible and Some Are Computationally Intractable - A Survey G. Alefeld, A. Frommer, B. Lang, Scientific Computing and Validated Numerics 1996 Akademie Verlag 293 306