Semimorphe Arithmetik zur Automatischen Ergebnisverifikation auf Vektorrechnern | lit.salon