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 Address

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

Phone

+43 732 2468 9960 (Office Hagenberg)