Symbolisches Rechnen ist ein Teilgebiet der Computermathematik. Gegenstand ist die algorithmische Verarbeitung mathematischer Symbole, welche zum Beispiel für Zahlen und für geometrische Objekte stehen können.
Höhere Mathematik basiert in wesentlicher Weise auf symbolischer Darstellung. Daher ist Symbolisches Rechnen eine Kerndisziplin der modernen Mathematik. Symbolisches Rechnen hat in natürlicher Weise auch viele Anknüpfungspunkte zur Informatik.

Symbolisches Rechnen am RISC versteht sich als Forschung, Lehre und Anwendung in den Gebieten

• Computeralgebra,
• Computerlogik und
• Mathematische Software.

Diese Themen spiegeln sich in den einzelnen Forschungsbereichen des Instituts wider.