In my talk at ICMS I presented a demonstration of recently developed features of Macaulay 2, which I have written with Michael E. Stillman <mike@math.cornell.edu>. New mathematical features include Groebner bases over the integers (for inhomogeneous equations). New features aimed at authors of Macaulay2 code include the debugger and the system for creating stand-alone packages. Macaulay 2 takes care of producing the documentation for a package in on-line form, emacs-info form, and html form, when the user installs the package.
The links below display canned versions of the interaction with Macaulay 2 during my presentation, without much explanation of what is being presented.