Macaulay2 is a free computer algebra system developed by Daniel Grayson (UIUC) and Michael Stillman (Cornell) for computation in commutative algebra and algebraic geometry. Stillman, along with Dave Bayer had authored the predecessor, Macaulay. Macaulay2 uses its own high level programming language, intended to closely match the syntax used by mathematicians in the field.