I am looking for a reference - paper, book, discussion, anything that has a mathematical proof for stability of the conjugate gradient method in floating point arithmetic.
Something similar for modified Gram-Schmidt would be as good.
Does anyone have any suggestions?