Utilizing the symbolic capabilities of a computer algebra system

The paper identifies several ways to exploit the "symbol crunching" capabilities of a computer algebra system to enhance learning in an interactive setting, namely: as a source of general formulas; to help recognize patterns and deduce general formulas; to demonstrate mathematical rules via rapid repetition; and to present straightforward, easily-understood symbolic derivations. Illustrative examples are given using Maple V, but can be adapted to any computer algebra system.