7.111
Bearbeitungen
Research Institute for Symbolic Computation: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
K
Research Institute for Symbolic Computation (Quelltext anzeigen)
Version vom 9. Januar 2015, 18:45 Uhr
, 9. Januar 2015kl
K (kl) |
K (kl) |
||
| Zeile 2: | Zeile 2: | ||
== Institut == | == Institut == | ||
Das seit 1989 im [[w:Schloss Hagenberg|Schloss Hagenberg]] untergebrachte Institut wurde 1987 von [[Bruno Buchberger]] gegründet. Von 1999 bis 2009 war [[Franz Winkler]] Leiter, seit 2009 führt [[w:Peter Paule|Peter Paule]] die Einrichtung.<ref>[http://www.risc.uni-linz.ac.at/about/news/newChairman.html RISC: Mitteilung vom 1. Oktober 2009 (in Englisch)]</ref> Der Lehrkörper (faculty) zählt 16 Personen. | Das seit 1989 im [[w:Schloss Hagenberg|Schloss Hagenberg]] untergebrachte Institut wurde 1987 von [[w:Bruno Buchberger|Bruno Buchberger]] gegründet. Von 1999 bis 2009 war [[Franz Winkler]] Leiter, seit 2009 führt [[w:Peter Paule|Peter Paule]] die Einrichtung.<ref>[http://www.risc.uni-linz.ac.at/about/news/newChairman.html RISC: Mitteilung vom 1. Oktober 2009 (in Englisch)]</ref> Der Lehrkörper (faculty) zählt 16 Personen. | ||
Kernkompetenz des RISC ist das Symbolische Rechnen (Symbolic Computation). Dieser Forschungsbereich ist an der Schnittstelle zwischen Mathematik und Informatik angesiedelt und integriert theoretische Grundlagen aus Mathematik, Logik und [[Algorithmus|Algorithmen]] mit deren Implementierung in Softwaresystemen und entsprechenden praktischen Anwendungen. Erforschung, Lehre und industrielle Anwendungen des Symbolischen Rechnens werden am RISC als drei Facetten einer Kreativitätsspirale angesehen, die sich gegenseitig stimulieren. | Kernkompetenz des RISC ist das Symbolische Rechnen (Symbolic Computation). Dieser Forschungsbereich ist an der Schnittstelle zwischen Mathematik und Informatik angesiedelt und integriert theoretische Grundlagen aus Mathematik, Logik und [[Algorithmus|Algorithmen]] mit deren Implementierung in Softwaresystemen und entsprechenden praktischen Anwendungen. Erforschung, Lehre und industrielle Anwendungen des Symbolischen Rechnens werden am RISC als drei Facetten einer Kreativitätsspirale angesehen, die sich gegenseitig stimulieren. | ||