>>543
>グレブナー基底入門

なつかしいな
数式処理で、グレブナ基底の話を読んだのは、前世紀だった
佐藤幹夫先生のb函数が、グレブナ基底と独立に考えられていた とあったな うんうん （＾＾

(参考)
https://www.math.kobe-u.ac.jp/HOME/taka/index-ja.html
高山信毅
https://www.math.kobe-u.ac.jp/HOME/taka/2007/knx/resol-surikagaku-1998.pdf
代数幾何と数式処理
高山信毅
1 互除法とグレブナ基底

https://www.lab.twcu.ac.jp/oaku/sophia1.pdf
上智大学数学講究録No. 38
グレブナ基底と線型偏微分方程式系（計算代数解析入門）
大阿久　俊則　著
上智大学数学教室1994年11月WEB公開用改訂版2014年9月