Método de Wu

Un procedimiento algorítmico para resolver relaciones polinómicas y apoyar la demostración automática que construye conjuntos característicos y reduce polinomios objetivo por pseudo‑restos respecto a esos conjuntos, produciendo certificados algebraicos o descomposiciones usados para verificar identidades e implicaciones.