A. Akritas, Elements of Computer Algebra with Applications, 1989.

A. Baker, , 1975.

, Transcendental Number Theory. C a m bridge University Press

S. Lang, , 1991.

, Number Theory III, V olume 60 of Encyclopaedia of Mathematical Sciences

Y. Matiyasevich, , 1993.

, Hilbert's Tenth Problem

M. Mignotte, Mathematics for Computer Algebra, 1992.

J. Schwartz, Fast probabilistic algorithms for veriication of polynomial identities, Journal of the ACM, vol.27, pp.701-717, 1980.

M. Shub, Some remarks on Bezout's theorem and complexity theory, From Topology to Computation: Proceedings of the Smalefest, pp.443-455, 1993.