Elements of Computer Algebra with Applications, 1989. ,
, , 1975.
, Transcendental Number Theory. C a m bridge University Press
, , 1991.
, Number Theory III, V olume 60 of Encyclopaedia of Mathematical Sciences
, , 1993.
, Hilbert's Tenth Problem
Mathematics for Computer Algebra, 1992. ,
Fast probabilistic algorithms for veriication of polynomial identities, Journal of the ACM, vol.27, pp.701-717, 1980. ,
Some remarks on Bezout's theorem and complexity theory, From Topology to Computation: Proceedings of the Smalefest, pp.443-455, 1993. ,