Mathematical Foundations of Computational Engineering