Bibliography

BL82

Bruno Buchberger and Rüdiger Georg Konrad Loos.
Algebraic Simplification, pages 11-43.
Springer Verlag, Wien-New York, 1982.

DST93

J. Davenport, Y. Siret, and E. Tournier.
Calcul Formel.
Masson, 1993.
2$^e$ édition révisée.

GCL92

K.O. Geddes, S.R. Czapor, and G. Labahn.
Algorithms for Computer Algebra.
Kluwer Academic Publishers, 1992.

GG99

J. von zur Gathen and J. Gerhard.
Modern Computer Algebra.
Cambridge University Press, 1999.