Have you ever used Wolfram's Mathematica? He may be a huge crank, but the software is really awesome for doing mathematics research and learning. It can do all

Have you ever used Wolfram's Mathematica? He may be a huge crank, but the software is really awesome for doing mathematics research and learning. It can do all sorts of calculations automatically, but you can also easily program it to do them manually; it shows you a step-by-step derivation of pretty much anything it can compute. Many mathematicians use it for their day-to-day research, and for learning something like calculus it can be enlightening to have millions of examples of anything you can think of at the tip of a finger.