Reduce: software for Algebraic Computation - Rauna G. Gerharl (Symbolic computation)