mit CAS: größere lineare Gleichungssysteme