| |
| | [No title] |
 | | In my thesis, written at RISC-Linz, I have developed two algorithms for the computation of the intersection of invariant rings R, S, provided that R, S, and R intersected with S are finitely generated. |
 | | The second algorithm, together with a refined version of the first algorithm, is contained in my paper Computing the Intersection of Invariant Rings. |
 | | Contrary to the approaches of Abud-Sartori and Gatermann, our algorithms construct a stratification of the representation space of G, and only then to construct the stratification of the orbit space (or the images of relevant strata) by means of elimination theory (equations) and refinements of results of Procesi and Schwarz (inequalities). |
| wwwmayr.informatik.tu-muenchen.de /personen/bayert/software.html (656 words) |
|