| Termin: | Donnerstag, der 5. Oktober 2000 |
| Ort: | Universität Halle, Kurt-Mothes-Straße 1 (Uni-Komplex "Am Weinberg") |
| Zeit: | 10 - 17 Uhr |
Organisation: H.-G. Gräbe (Uni Leipzig) und P. Schenzel (Uni Halle)
| Zeit | Referent | Thema |
|---|---|---|
| 10.00 Uhr | B. Fiedler (Leipzig) | Untersuchung von Tensorsymmetrien mit dem Mathematica-Paket PERMS |
| 10.45 Uhr | S. Solcan (Uni Bratislava) | Symbolische Potenzen von Kurven im A4 |
| 11.30 Uhr | J.-P. Kuska (Uni Leipzig) | Geometrische Modellierung |
| 12.15 Uhr | M. Bäsken (Uni Trier) | Algorithmische Geometrie und LEDA |
| 13.00 - 14.00 Mittagspause | ||
| 14.00 Uhr | M. Schmitz (Uni Jena) | Die dynamische Geometrie-Software PLATON |
| 14.45 Uhr | A. Wassermann u.a. (Uni Bayreuth) | Die dynamische Geometrie-Software GEONET |
| 15.30 Uhr | H.-G. Gräbe / M. Witte (Uni Leipzig) | Mechanisierte Beweise geometrischer Sätze |
| 16.15 Uhr | S. Graubner (W.-Ostwald-Gymnasium Leipzig) | Über ein spezielles Dreieck |