Macaulay computer algebra system

Macaulay is a computer algebra system for doing polynomial computations, particularly Gröbner basis calculations. Macaulay is designed for solving problems in commutative algebra and algebraic geometry. It is named after Francis Sowerby Macaulay, who worked in elimination theory.

Macaulay was developed by Dave Bayer and Mike Stillman and was later completely rewritten by Dan Grayson and Mike Stillman as Macaulay2.