Organisatoren:

Prof. Dr. Wolfram Koepf Fachbereich Mathematik / Informatik Universität Kassel Heinrich-Plett-Str. 40 34132 Kassel, Germany

Prof. Dr. Gerhard Hiß Lehrstuhl D für Mathematik RWTH Aachen Templergraben 64 52062 Aachen, Germany

Dieses Minisymposium soll einen kleinen Einblick in eine Auswahl aktueller Themen der Computeralgebra vermitteln. In einem je 50-minütigen Übersichtsvortrag berichten Anne Frühbis-Krüger über SINGULAR, einem der weltweit anerkanntesten Computeralgebrasysteme zur algebraischen Geometrie, Bettina Eick über neueste Entwicklungen in der algorithmischen Gruppentheorie sowie Ulrich Kortenkamp, einer der beiden Autoren von CINDERELLA, über die Integration von Computeralgebrasystemen und dynamischer Geometrie-Software.

Daneben wird es sechs 20-minütige Forschungsberichte geben. Diese entstammen so verschiedenen Disziplinen wie der algebraischen Kontrolltheorie, der homologischen Algebra, der algorithmischen Darstellungstheorie, der algorithmischen Kombinatorik sowie der algorithmischen algebraischen Zahlentheorie.

Auszug zu diesem Minisymposium aus dem Programmheft (Stand: 15. Juli 2006). Weitere nützliche Informationen rund um die Tagung können der verkürzten Ausgabe des Programmheftes entnommen werden.

Programm (Stand: 07.09.2006):

Donnerstag	Wolfgang-Paul-Hörsaal, Kreuzbergweg
15:00-15:50	Anne Frühbis-Krüger (Kaiserslautern) Neuere Features des Computeralgebrasystems SINGULAR Der Vortrag als pdf-Datei.
16:00-16:20	Eva Zerz (Aachen) Zur Umsetzung kontrolltheoretisch relevanter Algorithmen in der SINGULAR Control Library Der Vortrag als pdf-Datei.
16:30-16:50	Mohamed Barakat (Aachen) homalg - Ein abstraktes Maple-Paket für homologische Algebra Der Vortrag als pdf-Datei.
17:00-17:20	Daniel Robertz (Aachen) Janet-Algorithmus mit Anwendungen in der Kontrolltheorie Der Vortrag als pdf-Datei.
17:30-17:50	Gerhard Hiß (Aachen) Rechnen mit sporadischen Gruppen Der Vortrag als pdf-Datei.
Freitag	Wolfgang-Paul-Hörsaal, Kreuzbergweg
15:00-15:50	Bettina Eick (Braunschweig) Algorithmische Gruppentheorie Der Vortrag als pdf-Datei.
16:00-16:20	Wolfram Koepf (Kassel) Multivariate algorithmische Summation Der Vortrag als pdf-Datei.
16:30-16:50	Gunter Malle (Kaiserslautern) Zählen von Zahlkörpern Der Vortrag als pdf-Datei.
17:00-17:50	Ulrich Kortenkamp (Schwäbisch Gmünd) Integration von CAS und DGS - Wege und Konsequenzen