Quantum Computer Algebra and Quantum Software