Accurate and verified numerical computation of the matrix determinant. (20th December 2011)