Math Foundation for Quantum Computing