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.
Contribution to Book
Multivariate Resultants in Bernstein BasisAutomated Deduction in Geometry (2011)
Publication DateSummer June 8, 2011
EditorT. Sturm and C. Zengler
Citation InformationManfred Minimair and Deepak Kapur. "Multivariate Resultants in Bernstein Basis" Automated Deduction in Geometry. Ed. T. Sturm and C. Zengler. Springer Verlag, 2011. 60-85.