Zur JKU Startseite
Institut für Symbolisches Rechnen (RISC)
Was ist das?

Institute, Schools und andere Einrichtungen oder Angebote haben einen Webauftritt mit eigenen Inhalten und Menüs.

Um die Navigation zu erleichtern, ist hier erkennbar, wo man sich gerade befindet.

Forschungsbereiche

Forschung am RISC lässt sich grob in die Gebiete

  • Computeralgebra,
  • Computerlogik und
  • Mathematische Software

unterteilen, ohne dass dies eine strikte Trennung der Bereiche bedeutet. Viele Themen fallen in die Grenzregion zweier, oft auch aller drei, Gebiete.

Forschungsbereiche des Symbolischen Rechnens