2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/31153In 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.Symbolic ComputationG.4A correct proof of the heuristic GCD algorithmtext