Fast Probabilistic Algorithms for Veri of Polynomial Identities (1980)

by J T Schwartz
Venue:J. ACM