Macaulay

A symbolic mathematics package for commutative algebra, algebraic geometry and cohomology, written in C by Mike Stillman <mike@mssun7.msi.cornell.edu> and Dave Bayer <bayer@cUnixa.columbia.edu> in 1977. Version 3 runs on Sun, Macintosh and Amiga.