Matthias Goldgruber

= Matthias Goldgruber=

I am Student of Technical Mathematics at the University of Technology in Graz, Austria.

Currently I am working on my master's thesis on the ISAC Project, at the Institute for Software Technology (IST). My job within the ISAC Projekt is to desing and implement some basic Simplifieres for polynomials, terms with rationals and terms with squareroots. Therfore I use the standart method "Rewriting". So my main consern is to designe "Term Rewriting Systems" wich terminate and are konfluent - a not trivial but exciting task.

Questions? [mailto:mgold@ist.tugraz.at mgold@ist.tugraz.at]

At completion of my thesis in 2004 I have quiesced my work for ISAC, further information can be found here.

2003-07-01