Computing with Differential-difference Operators

Computer algebra can be used to prove identities in the algebra of operators on polynomials which is generated by multiplication by coordinate functions, and the group translations and Dunkl operators associated with a reflection group. This technique is illustrated by a conceptual proof of a complete orthogonal decomposition of the harmonic polynomials associated with the abelian reflection groups