This thorough overview of the major computer algebra (symbolic mathematical) systems compares and contrasts their strengths and weaknesses, and gives tutorial information for using these systems in various ways.