Two-point convergence of the stochastic six-vertex model to the Airy process

From MaRDI portal