>>821
層やスキーム論の手前の代数幾何で
標準基底=グレブナー基底を使って数式処理をすることを挙げた方が・・・