Talk:Matrix Inverse Algorithm

Re: how we know that a matrix can be reduced to Reduced Echelon Form. There is an algorithm that this one depends on, called Gauss-Jordan elimination, which I am not equipped to prove. Said algorithm allows you to turn any matrix into a unique ref, and that's the crux of this algorithm. Part of it is at Matrix is Row Equivalent to Reduced Echelon Matrix but that doesn't prove uniqueness. The rest of it is Transformation of Unit Matrix into Inverse. --GFauxPas 11:28, 27 February 2012 (EST)

Pretty sure we have something useful, in the discussion about determinants. Non-zero determinant means invertible matrix, elementary row operations result in non-zero determinant, it sort of goes from there. --prime mover 13:23, 27 February 2012 (EST)