schließen

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

Die Forschungsgruppen am RISC sind in folgenden konkreten Forschungsthemen spezialisiert: