Geometer's Sketchpad

Geometer's Sketchpad is a great tool for creating dynamic models of algebra.  You can use it to discover algebra in a whole new way.  Students can create an infinte number of conjectures to try on a single possiblity.