多項式の集まりの中で、特に良い性質を持つ「グレブナー基底」の研究をしています。キーワードの一つは、多項式の割り算。基本的な応用として、連立方程式の変数消去があり、他にも様々な分野に応用可能なため、多くの数式処理ソフトウエアに実装されています。