The Mathematics of Quantum Computers