Probabilistic algorithms for verification of polynomial identities (invited)

Jacob T. Schwartz. Probabilistic algorithms for verification of polynomial identities (invited). In Edward W. Ng, editor, Symbolic and Algebraic Computation, EUROSAM 79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings. Volume 72 of Lecture Notes in Computer Science, pages 200-215, Springer, 1979.

Abstract

Abstract is missing.