Handbook for Automatic Computation, Vol. 2: Linear Algebra (Grundlehren Der Mathematischen Wissenschaften, Vol. 186)