Wus Methode

Ein algorithmisches Verfahren zur Lösung polynomieller Beziehungen und zur Unterstützung automatischer Beweisführung, das charakteristische Mengen konstruiert und Zielpolynome durch Pseudo‑Reste bezüglich dieser Mengen reduziert, wodurch algebraische Zertifikate oder Zerlegungen entstehen, die Identitäten und Implikationen verifizieren können.