From algebraic to coordinate Bethe ansatz for square ice

In this text, we provide a detailed exposition of the Algebraic Bethe ansatz for square ice (or six vertex model), which allows the construction of candidate eigenvectors for the transfer matrices of this model. We also prove some formula of V.E. Korepin for these vectors, which leads to an identification, up to a non-zero complex factor, with the vector obtained by coordinate Bethe ansatz.