Computer algebra in quantum computing and quantum information theory