1) Real root counting (Tarski, Hermite, Sylvester)
2) Quantifier elimination (Tarski, Seidenberg, Collins)
3) Sums of squares (Artin, Stengle)