Implicitization of parametric curves and surfaces by using symmetric functions Mathematics mechanization. Mechanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving 