Research Group
Foundations of Informatics
Prof. Dr. K. Madlener

Birgit Reinert


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.
Birgit Reinert RG Foundations of Informatics Department of Informatics Technical University of Kaiserslautern

Last Update: Tuesday, 01-Mar-05 10:18:31 GMT

Valid XHTML 1.0!