>	general info	>
>	publications	>

Alexander Maletzky, DI Dr.

Former member of RISC

Working area: Gröbner Bases, Automated Reasoning, Theorema

Phone:	+43 732 2468 9936
Web:	http://www.risc.jku.at/home/amaletzk/