DI Dr. Alexander Maletzky

Alexander Maletzky

Research Area

Gröbner Bases, Automated Reasoning, Theorema

Office

Schloss Hagenberg
A-4232 Hagenberg im Mühlkreis

Room: -2.10-1

Postal Address

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