Gröbner Basis

Gröbner Basis は、多変数多項式のイデアルを扱いやすい形に変換するための基底です。

CTF では、多項式方程式系を解く数式処理や暗号解析の問題で使われることがあります。