Let have entries , let have entries , and let . The Gaussian process prior and independent Gaussian noise imply
Applying the conditional multivariate normal distribution gives the Gaussian process regression posterior
where