Macaulay computer algebra system とは

Macaulayは、多項式計算、特にグレブナー基底計算を行う計算機代数システムです。 Macaulayは、代数代数と代数幾何の問題を解決するために設計されています。
それは、排出理論で働いていたFrancis Sowerby Macaulayにちなんで命名されました。
MacaulayはDave BayerとMichael Stillmanによって開発され、後にMacaulay2としてDaniel GraysonとStillmanによって完全に書き直されました。