Research Group Foundations of Informatics Prof. Dr. K. Madlener
Birgit Reinert
Research
My field of research is computer algebra, especially the theory of Gröbner bases.
Gröbner bases have also been the subject of my lectures in the winter terms 1996/97 and 1997/98. (A manuscript is available in German).
My main interest is in non-commutative Gröbner bases theory and their connection to rewriting (German survey).
This has also been the contents of my thesis and of my lecture in the summer term 1997.
Click here for a short or a long summary, or
to download the full thesis (590 Kbytes).
Furthermore, I am involved in the development of the system MRC (Monoid Ring Completion) for computing Gröbner bases in monoid and group rings and the system XSSR for computing in monoids and groups.
