Computational Aspects of Polynomial Identities