Buchberger's algorithm in Egison Requirement Egison >= 4.0.0 Reference Franz Baader and Tobias Nipkow. "Term Rewriting and All That". Cambridge university press, 1999. 『最近、妹がグレブナー基底に興味を持ち始めたのだが。』