Skip to main content
Contribution to Book
Multivariate Resultants in Bernstein Basis
Automated Deduction in Geometry (2011)
  • Manfred Minimair, Seton Hall University
  • Deepak Kapur, University of New Mexico - Main Campus
Abstract
Macaulay and Dixon resultant formulations are proposed for parametrized multivariate polynomial systems represented in Bernstein basis. It is proved that the Macaulay resultant for a polynomial system in Bernstein basis vanishes for the total degree case if and only if the either the polynomial system has a common Bernstein-toric root, a common infinite root, or the leading forms of the polynomial system obtained by replacing every variable xi in the original polynomial system by yi/1+yi have a non-trivial common root. For the Dixon resultant formulation, the rank sub-matrix constructions for the original system and the transformed system are shown to be essentially equivalent. Known results about exactness of Dixon resultants of a sub-class of polynomial systems as discussed in Chtcherba and Kapur in Journal of Symbolic Computation (August, 2003) carry over to polynomial systems represented in the Bernstein basis. Furthermore, in certain cases, when the extraneous factor in a projection operator constructed from the Dixon resultant formulation is precisely known, such results also carry over to projection operators of polynomial systems in the Bernstein basis where extraneous factors are precisely known. Applications of these results in the context of geometry theorem proving, implicitization and intersection of surfaces with curves are discussed. While Macaulay matrices become large when polynomials in Bernstein bases are used for problems in these applications, Dixon matrices are roughly of the same size.
Keywords
  • Geometry,
  • Data processing,
  • Congresses,
  • Automatic theorem proving
Publication Date
Summer June 8, 2011
Editor
T. Sturm and C. Zengler
Publisher
Springer Verlag
Series
Lecture notes in computer science
ISBN
978-3-642-21045-7
DOI
10.1007/978-3-642-21046-4_4
Citation Information
Manfred Minimair and Deepak Kapur. "Multivariate Resultants in Bernstein Basis" Automated Deduction in Geometry. Ed. T. Sturm and C. Zengler. Springer Verlag, 2011. 60-85.