This paper describes a symbolic computation system within the Maple V environment for carrying out algebraic reductions useful in a discrete light-cone quantization formulation of quantum electrodynamics.  Elements of the resulting program package are identified and some typical applications are presented.