Probabilistic algorithms for veri of polynomial identities (1980)

by J T Schwartz
Venue:Journal of the ACM