An Universitäten bewerten Korrektoren sehr viele Abgaben zu Übungs­aufgaben aus den Bereichen Mathematik und Informatik. Um diese zu ent­lasten, werden Verfahren benötigt, um vom Computer Abgaben automatisch bewerten zu lassen. Solche Verfahren werden in dieser Diplomarbeit für mathematische Ausdrücke wie Gleichungen, Mengen und Gleichungssysteme, außerdem Computerprogramme umformulieren und Fachwörter (jeweils für bestimmte Rahmenbedingungen) entwickelt und umgesetzt.