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 .
ftp://zariski.harvard.edu/ .
(1994-10-12)