Verifying KSY Condition by Elementary Matrix Transformations

Jing He,Lei Huang
2013-01-01
Abstract:Dixon’s method is a practical approach for computing the multivariate resultant in the quantifier elimination. The method is found to be quite restrictive as the Dixon matrix is singular always, and the Dixon resultant vanishes identically yielding no information about solutions for many algebraic and geometry problems. Kapur-Saxena-Yang extended Dixon’s method for the case when the Dixon matrix is singular with the KSY condition. While the KSY condition is very difficult to be verified, so there has not any practical algorithm to do it yet. In this paper, we propose a new method to verify KSY condition by elementary matrix transformations directly.
What problem does this paper attempt to address?