VO 501.210, UE 501.211 - SS 2010

Symbolic Computation

Zeit/Ort VO Fr 11:15-12.45 BE01, UE Mo 9:15-10:00, C208
Beginn VO Fr 5.3., UE Mo 8.3.

Wir werden in Vorlesung (S. Frisch) und Übungen (Ch. Frei) im wesentlichen die Themenbereiche Gröbner-Basen, Polynomfaktorisierung und LLL-Algorithmus behandeln (sowie zu Beginn vermischte Beispiele, die dem Kennenlernen der Computer-Mathematik- Systeme Mathematica und Maple dienen).

Literatur

Empfehlenswert sind folgende Bücher, deren einige während des Semesters in der Mathematik-Bibliothek zur Ansicht bereitstehen werden (auf der Arbeitsfläche unter den runden Fenstern).

R. Fröberg: An introduction to Gröbner bases, Wiley 1997.
W.W. Adams, Ph. Loustaunau: An introduction to Gröbner bases, Amer.Math.Soc. GSM 3, 1994.
M. Mignotte, D. Ștefănescu: Polynomials - an algorithmic approach, Springer 1999 [Vorsicht, das Buch hat ziemlich viele Druckfehler.]
A.M. Cohen, H. Cuypers, H. Sterk (eds.), Some tapas of computer algebra, Springer 1999.
H. Cohen: A course in computational algebraic number theory, Springer GTM 138, 1993.

Beurteilungssmodus:
VO: mündliche Prüfung über den Vorlesungsstoff; Termine mehr oder weniger jederzeit; Anmeldung per Email oder persönlich.
UE: Das Übungszeugnis wird (unabhängig vom Vorlesungszeugnis) durch Mitarbeit in den Übungen erworben, siehe Übungswebseite.

Sophie Frisch
frisch@blah.math.tu-graz.ac.at