Macaulay 2, which I have written with Michael Stillman,
is a free computer program designed to support computations in algebraic geometry and computer
algebra. You might also enjoy seeing the home page of the original
Macaulay
program, written by David Bayer and Michael Stillman.
Mathematica is a popular graphical,
numerical, and symbolical mathematics program that I helped write. I am also one of the cofounders of Wolfram Research, Inc,
the company that markets Mathematica.
K-theory meeting calendar and electronic preprint archives.