Foundations of Computational Mathematics