2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2005)
Sept. 25, 2005 to Sept. 29, 2005
Yaohui Li , Academia Sinica
Yong Feng , Academia Sinica
Dixon Resultant method can eliminate many variables simultaneously. It is often used to solve a system of polynomial equations. However, the Dixon matrix is often singular, and the Dixon Resultant vanishes identically yielding no information about solutions for many algebraic and geometry problems. So, Extended Dixon Method (KSY method) was proposed for the case when the Dixon matrix is singular, but satisfies RSC criteria. However, checking RSC criteria and extracting a maximum nonsingular submatrix of Dixon matrix are symbolic methods, which restrict Extended Dixon Method to be applied in more fields. In this paper, based on polynomial interpolation theory, an efficient numerical algorithm is developed to check RSC criteria and to extract a maximum nonsingular submatrix of singular Dixon matrix . Combining with interpolation methods for computing determinant, our method can solve larger scale problems. Furthermore, our method can be carried out parallel.
Yaohui Li, Yong Feng, "Checking RSC Criteria for Extended Dixon Resultant by Interpolation Method", 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, vol. 00, no. , pp. 48-51, 2005, doi:10.1109/SYNASC.2005.25