Ne doit pas être confondu avec Lemme de Schwarz.
En mathématiques, le lemme de Schwartz-Zippel est un résultat important pour évaluer l'égalité entre deux polynômes multivariés. Ce lemme donne naturellement un algorithme probabiliste efficace pour résoudre la question de l'égalité entre polynômes, qui fut historiquement le premier à être prouvé correct[1]. De fait il possède de nombreuses applications en théorie des nombres, en cryptographie, en géométrie, mais également dans les problèmes issues de la théorie des graphes et en théorie de la complexité[1].
- (en) Nitin Saxena, « Progress on Polynomial Identity Testing », Bulletin of the EATCS 99, , p. 49-79