Automatische Tests für Lineare Algebra