Lewis, Robert H. - In: Mathematics and Computers in Simulation (MATCOM) 77 (2008) 4, pp. 400-407
The Dixon resultant method solves a system of polynomial equations by computing its resultant. It constructs a square matrix whose determinant (det) is a multiple of the resultant (res). The naïve way to proceed is to compute det, factor it, and identify res. But often det is too large to...