Vitalsource Technologies, Inc. Computational Aspects Of Polynomial Identities