Mathematics of large eddy simulation of turbulent flows (Scientific computation, 2006)