Formula for computing the least squares solution to a linear system, in terms of the QR factorization of the coefficient matrix. math.la.t.linsys.leastsquares.qr
The least squares solution to a linear system is unique if and only if the columns of the coefficient matrix are linearly independent. math.la.t.linsys.leastsquares.unique