Fast probabilistic algorithms for veri of polynomial identities (1980)

by J T Schwartz
Venue:J. ACM