A correct proof of the heuristic GCD algorithm
arXiv:cs/0206032
Abstract
In this note, we fill a gap in the proof of the heuristic GCD in the multivariate case made by Char, Geddes and Gonnet (JSC 1989) and give some additionnal information on this method.