Macaulay 2 is a system designed to support
research in commutative algebra and algebraic
geometry, whose creation has been funded by the
NSF. It is a successor to Macaulay, which was
written by David Bayer and Michael Stillman.
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.