An Elimination Method to Solve Interval Polynomial Systems

There are several efficient methods to solve linear interval polynomial systems in the context of interval computations, however, the general case of interval polynomial systems is not yet covered as well. In this paper we introduce a new elimination method to solve and analyse interval polynomial systems, in general case. This method is based on computational algebraic geometry concepts such as polynomial ideals and Groebner basis computation. Specially, we use the comprehensive Groebner system concept to keep the dependencies between interval coefficients. At the end of paper, we will state some applications of our method to evaluate its performance.

[1]  Falai Chen,et al.  Applications of interval arithmetic in solving polynomial equations by Wu’s elimination method , 2005 .

[2]  임종인,et al.  Gröbner Bases와 응용 , 1995 .

[3]  Antonio Montes,et al.  A New Algorithm for Discussing Gröbner Bases with Parameters , 2002, J. Symb. Comput..

[4]  Evgenija D. Popova,et al.  Explicit description of 2D parametric solution sets , 2012 .

[5]  Antonio Montes,et al.  Minimal canonical comprehensive Gröbner systems , 2006, J. Symb. Comput..

[6]  Sajjad Rahmany,et al.  Resolution of a system of fuzzy polynomial equations using the Gröbner basis , 2013, Inf. Sci..

[7]  Götz Alefeld,et al.  The basic properties of interval arithmetic, its software realizations and some applications , 1998 .

[8]  Shuhong Gao,et al.  A new incremental algorithm for computing Groebner bases , 2010, ISSAC.

[9]  José Augusto Ferreira,et al.  A priori estimates for the zeros of interval polynomials , 2001 .

[10]  Christodoulos A. Floudas,et al.  Two results on bounding the roots of interval polynomials , 1999 .

[11]  Volker Weispfenning.  Canonical comprehensive Gröbner bases , 2003, J. Symb. Comput..

[12]  V. Kreinovich,et al.  On the solution sets of particular classes of linear interval systems , 2003 .

[13]  C. B. Soh,et al.  On damping ratio of polynomials with perturbed coefficients , 1988 .

[14]  Eldon Hansen,et al.  Global optimization using interval analysis , 1992, Pure and applied mathematics.

[15]  Jiansong Deng,et al.  Zeros of univariate interval polynomials , 2008 .

[16]  Hiroshi Sekigawa.  On real factors of real interval polynomials , 2009, J. Symb. Comput..

[17]  Volker Weispfenning,et al.  Canonical comprehensive Gröbner bases , 2002, ISSAC '02.

[18]  Michael Wibmer,et al.  Gröbner bases for polynomial systems with parameters , 2010, J. Symb. Comput..

[19]  R. B. Kearfott,et al.  A Comparison of some Methods for Solving Linear Interval Equations , 1997 .

[20]  Akira Suzuki,et al.  A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases , 2006, ISSAC '06.

[21]  Antonio Montes,et al.  Improving the DISPGB algorithm using the discriminant ideal , 2006, J. Symb. Comput..

[22]  Jean Charles Faugère,et al.  A new efficient algorithm for computing Gröbner bases without reduction to zero (F5) , 2002, ISSAC '02.

[23]  Amir Hashemi,et al.  Applying Buchberger's criteria on Montes's DisPGB algorithm , 2012 .

[24]  Jiansong Deng,et al.  Number of zeros of interval polynomials , 2013, J. Comput. Appl. Math..

[25]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[26]  Heinz Kredel,et al.  Gröbner Bases: A Computational Approach to Commutative Algebra , 1993 .

[27]  Evgenija D. Popova,et al.  Parametric Interval Linear Solver , 2004, Numerical Algorithms.

[28]  Yao Sun,et al.  An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system , 2013, J. Symb. Comput..

[29]  Yao Sun,et al.  A new algorithm for computing comprehensive Gröbner systems , 2010, ISSAC.

[30]  Ezra Zeheb,et al.  A root-distribution criterion for an interval polynomial in a sector , 1996 .

[31]  W. Wolovich.  State-space and multivariable theory , 1972 .

[32]  Hiroshi Sekigawa.  On real factors of real interval polynomials , 2007, ISSAC '07.

[33]  Hans Schönemann,et al.  SINGULAR: a computer algebra system for polynomial computations , 2001, ACCA.

[34]  Shuhong Gao,et al.  A New Algorithm for Computing Grobner Bases , 2010 .

[35]  Volker Weispfenning,et al.  Comprehensive Gröbner Bases , 1992, J. Symb. Comput..

[36]  佐藤 洋祐,et al.  特集 Comprehensive Grobner Bases , 2007 .

[37]  José Augusto Ferreira,et al.  On the computation of solutions of systems of interval polynomial equations , 2005 .

[38]  R. Baker Kearfott,et al.  Introduction to Interval Analysis , 2009 .