Verwendet Computeralgebrasysteme zum Umformen, Lösen, Differenzieren und Integrieren und prüft symbolische Ergebnisse auf Voraussetzungen und Sonderfälle.
