Macaulay

Mike Stillman and Dave Bayer, 1977

A symbolic mathematics package for commutative algebra, algebraic geometry, and cohomology.