Seitenbereiche:



Menü des aktuellen Bereichs:

Zusatzinformationen:

FUN-Veranstaltungen

FoFö-Stammtisch, 23. November 2017, 14 Uhr siehe Info-Veranstaltungen

Kontakt

Abteilung Forschungsunterstützung (FUN):
forschen@jku.at


Positionsanzeige:

Inhalt:

Forschungseinheiten

Institut für Symbolisches Rechnen

The primary goals of RISC-Linz are research, education, and industrial cooperations in the field of symbolic computation. These goals are based on the conviction that, in computer science, symbolic computation is one of the most exciting theoretical areas that needs profound formal mathematical training and extensive systems training and opens some of the most promising directions for future software industry. A complete up-to-date listing of publications with online versions of freely available papers for download can be found at the institute's webpage.

Kontakt

Institut für Symbolisches Rechnen

Adresse: Schloss Hagenberg, Kirchenplatz 5b, 4232 Hagenberg

Tel.: +43 732 2468 9921 Fax: +43 732 2468 9930

Leitung: Univ.-Prof. Dr. Peter Paule Kontakt: Tanja Gutenbrunner Web: http://www.risc.uni-linz.ac.at/

Forschungs-Fingerprint

2017 2016 2015 2014 2013
Publikationen 0 64 74 81 75
Vorträge 0 34 45 52 77
Forschungsprojekte 19 21 18 21 20
SCS 19 95 81 64 75
Erfindungen 0 0 1 1 0

Exzellenzfelder & Schwerpunkte

Computation in Informatics and Mathematics
101 Mathematik | 101001 Algebra | 101005 Computeralgebra | 101009 Geometrie | 101012 Kombinatorik | 101013 Mathematische Logik | 101020 Technische Mathematik

Zur Liste der Forschungseinheiten Zur Liste der Forschungseinheiten