A correct proof of the heuristic GCD algorithm
<|reference_start|>A correct proof of the heuristic GCD algorithm: 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.<|reference_end|>
@article{parisse2002a,
    title={A correct proof of the heuristic GCD algorithm},
    author={Bernard Parisse},
    journal={arXiv preprint arXiv:cs/0206032},
    year={2002},
    archivePrefix={arXiv},
    eprint={cs/0206032},
    primaryClass={cs.SC}
}