Johannes Kepler Universität Linz - Institut für Symbolisches Rechnen (RISC)

Institut der JKU Linz, Grundlagenforschung in den Bereichen Mathematik und Informatik.