Return to Article Details Mechanization of the Sturmfel-Salmon resultant method Download Download PDF