Modular Algorithms in Symbolic Summation and Symbolic ...
Jürgen Gerhard
JOACHIM VON ZUR GATHEN (1984), Hensel and Newton methods in valuation
rings. Mathematics of Computation 42(166), 637–661. JOACHIM VON ZUR
GATHEN (1990), Functional Decomposition of Polynomials: the Tame Case.
Journal ...