Mathematical Theory and Computational Practice