Mitglieder
Prof. Dr. Bruno Buchberger
o. Professor i.R. für Computer-Mathematik
III
Johannes-Kepler-Universität Linz
Symbolic Computation; Computer Algebra; Automated Reasoning; Mathematical Software
seit 2011