Fredholm determinant representation for the partition function of the six-vertex model

The six-vertex model with domain wall boundary conditions is considered. A Fredholm determinant representation for the partition function of the model is obtained. The kernel of the corrtesponding integral operator depends on Laguerre polynomials.