Lösen von Gleichungssystemen mit CAS