algebraic number, Groebner basis, Lebesgue constant, polynomial interpolation, quantifier elimination, resultant.