\begin{slide}{Lineare Gleichungssysteme}

Lösung nach Gauß-Verfahren:

\begin{itemize}
\item eine Gleichung nach einer Variablen
  umstellen,
\item diese Variable aus den anderen Gleichungen
  eliminieren ($=$ Dimension des Lösungsraumes
  verkleinern)
\end{itemize}

vgl. mit Elimination einer Variablen
im Unifikations-Algorithmus

\end{slide}
