7.113
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:32 Uhr
, 9. Januar 2015kl
K (added Category:Regiowiki:Von Marjorie-Wiki importiert using HotCat) |
K (kl) |
||
| Zeile 1: | Zeile 1: | ||
Das '''Research Institute for Symbolic Computation''', kurz '''RISC''' (''Institut für Symbolisches Rechnen'') ist ein Forschungsinstitut der [[w:Johannes Kepler Universität Linz|Johannes-Kepler-Universität Linz]]. Es ist im [[w:Softwarepark Hagenberg|Softwarepark Hagenberg]] in [[Hagenberg im Mühlkreis]], Oberösterreich, angesiedelt. | Das '''Research Institute for Symbolic Computation''', kurz '''RISC''' (''Institut für Symbolisches Rechnen'') ist ein Forschungsinstitut der [[w:Johannes Kepler Universität Linz|Johannes-Kepler-Universität Linz]]. Es ist im [[w:Softwarepark Hagenberg|Softwarepark Hagenberg]] in [[Hagenberg im Mühlkreis]], Oberösterreich, angesiedelt. | ||
== Institut == | == Institut == | ||
Das | 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. | ||
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. | |||
Symbolisches Rechnen zielt darauf ab, Problemstellungen im Zusammenhang mit symbolischen Objekten zu lösen, die in Computersystem repräsentiert werden können (z.B. algebraische Ausdrücke, logische Aussagen, oder Computerprogramme). Lösungen, die auf den Methoden des Symbolischen Rechnens basieren, sind heute integraler Bestandteil von vielen komplexen Softwaresystemen für naturwissenschaftliche und technische Anwendungen. Daher spielt der Forschungsbereich nicht nur in der Mathematik selbst eine fundamentale Rolle, sondern stellt eine Schlüsseltechnologie in technisch-naturwissenschaftlichen Fachbereichen dar. | Symbolisches Rechnen zielt darauf ab, Problemstellungen im Zusammenhang mit symbolischen Objekten zu lösen, die in Computersystem repräsentiert werden können (z.B. algebraische Ausdrücke, logische Aussagen, oder Computerprogramme). Lösungen, die auf den Methoden des Symbolischen Rechnens basieren, sind heute integraler Bestandteil von vielen komplexen Softwaresystemen für naturwissenschaftliche und technische Anwendungen. Daher spielt der Forschungsbereich nicht nur in der Mathematik selbst eine fundamentale Rolle, sondern stellt eine Schlüsseltechnologie in technisch-naturwissenschaftlichen Fachbereichen dar. | ||