Working area: Theorema, Automated Theorem Proving, Computer Algebra, Mathematica, Symbolic Computation in Education
Address: Research Institute for Symbolic Computation Johannes Kepler University Altenberger Straße 69 A-4040 Linz, Austria
Office: RISC 2 A-4232 Hagenberg im Mühlkreis Room -2.13-1