Implicitization of parametric curves and surfaces by using symmetric functions Basic algorithms in real algebraic geometry and their complexity: From Sturm's theorem to the existential theory of reals 