Méthode de Wu

Une procédure algorithmique pour résoudre relations polynomiales et soutenir la démonstration automatique qui construit des ensembles caractéristiques et réduit des polynômes cibles par pseudo‑restes par rapport à ces ensembles, produisant des certificats algébriques ou des décompositions utilisés pour valider des identités et implications.