Wu's Method

An algorithmic procedure for solving polynomial relations and supporting automated theorem proving that constructs characteristic sets and reduces target polynomials by pseudo‑remainders relative to those sets, producing algebraic certificates or decompositions used to verify identities and implications.