Assoc. Univ.-Prof. DI Dr. Wolfgang Windsteiger

Wolfgang Windsteiger

Research Area

Theorema, Automated Theorem Proving, Computer Algebra, Mathematica, Symbolic Computation in Education

Office

Schloss Hagenberg
A-4232 Hagenberg im Mühlkreis

Room: -2.13-1

Postal Adress

Research Institute for Symbolic Computation
Johannes Kepler University
Altenberger Straße 69
A-4040 Linz, Austria