グレブナ基底と代数多様体入門　下

イデアル・多様体・アルゴリズム