DI Manuela Wiesinger-Widi

Manuela Wiesinger-Widi

Research Area

Groebner Bases, Automated Theorem Proving