schließen

Willkommen am Institut für Symbolisches Rechnen (RISC)!

Das Institut für Symbolisches Rechnen  (RISC) ist Teil des Fachbereichs Mathematik an der Technisch-Naturwissenschaftlichen Fakultät der JKU Linz.

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.

 

Institut für Symbolisches Rechnen (RISC)

Adresse

Institut für Symbolisches Rechnen
Johannes Kepler Universität Linz
Altenbergerstrasse 69
A-4040 Linz

Standort JKU Campus

Science Park 2
3. Stock
S20327, S20328.1, S20328.2

Standort Softwarepark Hagenberg

Schloss Hagenberg
Kirchenplatz 5b
A-4232 Hagenberg im Mühlkreis.

Sekretariat

Das RISC-Sekretariat befindet sich am Standort Hagenberg.

Am JKU Campus gibt es kein RISC-Sekretariat.

Telefon

+43 732 2468 9921