Lineare Gleichungssysteme

Lösung nach Gauß-Verfahren:

• eine Gleichung nach einer Variablen umstellen,
• diese Variable aus den anderen Gleichungen eliminieren (= Dimension des Lösungsraumes verkleinern)

vgl. mit Elimination einer Variablen im Unifikations-Algorithmus