termordnung
1Gröbner-Basis — Eine Gröbnerbasis (nach Bruno Buchberger, 1965) bzw. Standardbasis (nach Heisuke Hironaka, 1964) ist eine endliche Idealbasis zu einem Ideal I im Polynomring über dem (kommutativen) Körper K, die besonders gut dafür geeignet ist, zu entscheiden,… …
2Monomordnung — Eine Monomordnung oder Termordnung ist eine lineare Ordnung auf der Menge der Monome über einer endlichen Variablenmenge. Monomordnungen werden zur Definition der Division mit Rest von Polynomen in mehreren Variablen benötigt. Eine Gröbnerbasis… …
3Termersetzungssystem — Die Termersetzungssysteme (TES) sind ein formales Berechnungsmodell in der Theoretischen Informatik. Sie bilden insbesondere die Grundlage der Logik und funktionalen Programmierung. Ferner spielen sie eine wichtige Rolle beim Wortproblem und bei… …