Sektion 14

Computeralgebra



Bruno Buchberger, Johannes-Kepler-Universität Linz, Institut RISC
Der PCS-Beweiser im Rahmen des Theorema-Projekts
Montag, 18.09.2000, 15.00–15.20 Uhr, WIL A 317

Karin Gatermann, ZIB / FU Berlin
Dünnbesetzte Gleichungssysteme in der Chemie
Montag, 18.09.2000, 14.00–14.50 Uhr, WIL A 317

Meinolf Geck, Université Lyon 1
ACE: An algebraic combinatorics environment
Dienstag, 19.09.2000, 15.00–15.20 Uhr, WIL C 207

Gerhard Hiß, RWTH Aachen
Konstruktive Erkennung von Matrixgruppen
Dienstag, 19.09.2000, 14.00–14.50 Uhr, WIL C 207

Jürgen Klüners, Universität Heidelberg
Konstruktive Galoistheorie
Donnerstag, 21.09.2000, 14.00–14.50 Uhr, WIL A 317

Jürgen Müller, RWTH Aachen, Lehrst. D f. Math.
The Modular Atlas Project — Techniques For Finding Decomposition Matrices
Dienstag, 19.09.2000, 16.00–16.50 Uhr, WIL C 207

Max Neunhöffer, RWTH Aachen
Bahnalgorithmen in der Darstellungstheorie
Dienstag, 19.09.2000, 17.00–17.20 Uhr, WIL C 207

Josef Schicho, Universität Linz, RISC
The Parametrization Problem for Algebraic Surfaces. A Survey
Donnerstag, 21.09.2000, 16.00–16.50 Uhr, WIL A 317

Markus Schweighofer, Universität Konstanz
Effektive Darstellung von auf semialgebraischen Kompakta positiven Polynomen
Dienstag, 19.09.2000, 17.30–17.50 Uhr, WIL C 207

Peter Stadelmeyer, Johannes-Kepler-Universität Linz, Institut RISC
Ein schneller Resolutionsalgorithmus für Kurvensingularitäten
Donnerstag, 21.09.2000, 15.00–15.20 Uhr, WIL A 317



 * als PS-Datei *   * als PDF-Datei *