Harnessing the Power of Mathematics for High Performance Computing