February 6, 2008: Seminar: Gyorgy Turan: "Schwartz Lemma and Applications"

The Schwartz Lemma gives a simple upper bound on the number of roots of a multivariate polynomial. This lemma provides the basis for several efficient algorithms which involve testing a multivariate polynomial for being identically zero. An interesting application is testing the equivalence of read-once decision diagrams.