Algorithme de Bareiss, algorithme des sous-résultants. - Lionel Ducos (RAIRO Theor. Informatics Appl., 1996)

Computing the V-saturation of finitely-generated submodules of V[X]m where V is a valuation domain. - Lionel Ducos; Samiha Monceur; Ihsen Yengui (J. Symb. Comput., 2016)