The area of Symbolic and Algebraic Computation (SAC), also known as Computer Algebra (CA) in some circles, aims to automate mathematical computations of all sorts. The resulting computer systems, experimental and commercial, are powerful tools for scientists, engineers, and educators.