Computer Science Research Computer Science Research Back Sorting Networks Vectorizing Complex Multiplication Z3 Theorm Prover