Conclusions.

It has been shown how to deal with polynomial system solving involving parameters, in the homogeneous case, by using as main tool the properties of Gröbner Bases under specialization. In conclusion, the most promising techniques are those based upon the using of the Hilbert function plus a simplification of the result ``á la GPT" and a future complete automatization of the algorithm already implemented will provide, in a very efficient way, a set of ``good specialization conditions" together with a Gröbner Basis of the considered homogeneous polynomial system for every one of those conditions.

IMACS ACA'98 Electronic Proceedings