English
Related papers

Related papers: B\'ezout Subresultants for Univariate Polynomials …

200 papers

We present a new formula for the Cauchy index of a rational function on an interval using subresultant polynomials. There is no condition on the endpoints of the interval and the formula also involves in some cases less subresultant…

Algebraic Geometry · Mathematics 2020-07-21 Daniel Perrucci , Marie-Françoise Roy

The concept of a composed product for univariate polynomials has been explored extensively by Brawley, Brown, Carlitz, Gao, Mills, et al. Starting with these fundamental ideas and utilizing fractional power series representation (in…

Rings and Algebras · Mathematics 2007-05-23 Donald Mills , Kent M. Neuerburg

We are concerned with the problem of decomposing the parameter space of a parametric system of polynomial equations, and possibly some polynomial inequality constraints, with respect to the number of real solutions that the system attains.…

Symbolic Computation · Computer Science 2022-02-11 AmirHosein Sadeghimanesh , Matthew England

In this paper, the result of applying iterative univariate resultant constructions to multivariate polynomials is analyzed. We consider the input polynomials as generic polynomials of a given degree and exhibit explicit decompositions into…

Symbolic Computation · Computer Science 2008-10-29 Laurent Busé , Bernard Mourrain

In 1853 Sylvester stated and proved an elegant formula that expresses the polynomial subresultants in terms of the roots of the input polynomials. Sylvester's formula was also recently proved by Lascoux and Pragacz by using multi-Schur…

Commutative Algebra · Mathematics 2007-05-23 Carlos D'Andrea , Hoon Hong , Teresa Krick , Agnes Szanto

We define generalized bivariate polynomials, from which upon specification of initial conditions the bivariate Fibonacci and Lucas polynomials are obtained. Using essentially a matrix approach we derive identities and inequalities that in…

Combinatorics · Mathematics 2007-05-23 Mario Catalani

In an earlier article together with Carlos D'Andrea [BDKSV2017], we described explicit expressions for the coefficients of the order-$d$ polynomial subresultant of $(x-\alpha)^m$ and $(x-\beta)^n $ with respect to Bernstein's set of…

Symbolic Computation · Computer Science 2019-10-08 A. Bostan , T. Krick , A. Szanto , M. Valdettaro

In this paper, we study ideals spanned by polynomials or overconvergent series in a Tate algebra. With state-of-the-art algorithms for computing Tate Gr{\"o}bner bases, even if the input is polynomials, the size of the output grows with the…

Symbolic Computation · Computer Science 2022-02-16 Xavier Caruso , Tristan Vaccon , Thibaut Verron

Resultants and Gr\"obner bases are crucial tools in studying polynomial elimination theory. We investigate relations between the variety of the resultant of two polynomials and the variety of the ideal they generate. Then we focus on the…

Commutative Algebra · Mathematics 2015-11-02 Matteo Gallet , Hamid Rahkooy , Zafeirakis Zafeirakopoulos

We provide explicit formulae for the coefficients of the order-d polynomial subresultant of (x-\alpha)^m and (x-\beta)^n with respect to the set of Bernstein polynomials \{(x-\alpha)^j(x-\beta)^{d-j}, \, 0\le j\le d\}. They are given by…

Commutative Algebra · Mathematics 2017-04-19 Alin Bostan , Carlos D'Andrea , Teresa Krick , Agnes Szanto , Marcelo Valdettaro

We address the problem of the stability of the computations of resultants and subresultants of polynomials defined over complete discrete valuation rings (e.g. Zp or k[[t]] where k is a field). We prove that Euclide-like algorithms are…

Number Theory · Mathematics 2015-07-24 Xavier Caruso

An algorithm to generate a minimal comprehensive Gr\"obner\, basis of a parametric polynomial system from an arbitrary faithful comprehensive Gr\"obner\, system is presented. A basis of a parametric polynomial ideal is a comprehensive…

Symbolic Computation · Computer Science 2020-03-19 Deepak Kapur , Yiming Yang

Schur's transforms of a polynomial are used to count its roots in the unit disk. These are generalized them by introducing the sequence of symmetric sub-resultants of two polynomials. Although they do have a determinantal definition, we…

Symbolic Computation · Computer Science 2007-05-23 Cyril Brunie , Philippe Saux Picart

In this paper we study dual bases functions in subspaces. These are bases which are dual to functionals on larger linear space. Our goal is construct and derive properties of certain bases obtained from the construction, with primary focus…

Numerical Analysis · Mathematics 2017-04-28 Scott N. Kersey

Univariate polynomial root-finding is a classical subject, still important for modern computing. Frequently one seeks just the real roots of a polynomial with real coefficients. They can be approximated at a low computational cost if the…

Symbolic Computation · Computer Science 2017-04-14 Victor Y. Pan , Liang Zhao

The theory of "subalgebra basis" analogous to standard basis (the generalization of Gr\"{o}bner bases to monomial ordering which are not necessarily well ordering \cite{GP1}.) for ideals in polynomial rings over a field is developed. We…

Commutative Algebra · Mathematics 2009-09-30 Junaid Alam Khan

The existence of linear differential resolvents for z^alpha for any root z of an ordinary polynomial with coefficients in a given ordinary differential field has been established, where alpha is an indeterminate constant with respect to the…

Rings and Algebras · Mathematics 2008-03-18 John Michael Nahay

We consider resultant-based methods for elimination of indeterminates of Ore polynomial systems in Ore algebra. We start with defining the concept of resultant for bivariate Ore polynomials then compute it by the Dieudonne determinant of…

Symbolic Computation · Computer Science 2022-10-10 Raqeeb Rasheed

This paper proposes and develops a new Newton-type algorithm to solve subdifferential inclusions defined by subgradients of extended-real-valued prox-regular functions. The proposed algorithm is formulated in terms of the second-order…

Optimization and Control · Mathematics 2022-09-16 Pham Duy Khanh , Boris Mordukhovich , Vo Thanh Phat

We propose a modification of the GPGCD algorithm, which has been presented in our previous research, for calculating approximate greatest common divisor (GCD) of more than 2 univariate polynomials with real coefficients and a given degree.…

Commutative Algebra · Mathematics 2022-05-09 Boming Chi , Akira Terui