Theorem

Gauss-Jordan elimination is the procedure of using elementary row operation to transform an augmented matrix to reduced row echelon form.

This procedure consists of:

  1. Forward phase: Zeros are introduced below the leading 1’s
  2. Backward phase: Zeros are introduced above the leading 1’s