VO MAT.909 - SS 2012

Symbolic Computation

Zeit/Ort cf. TUGonline, Mi 14-16 C307. Beginn: 7.3.2012, 14h c.t. SR C307

Wir werden in Vorlesung (S. Frisch) und Übungen (D. Krenn) im wesentlichen die Themenbereiche Gröbner-Basen, Polynomfaktorisierung und LLL-Algorithmus behandeln.

Literatur

• W.W. Adams, Ph. Loustaunau: An introduction to Gröbner bases, Amer.Math.Soc. GSM 3, 1994.
• R. Fröberg: An introduction to Gröbner bases, Wiley 1997.
• 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.
• M. Mignotte, D. Ștefănescu: Polynomials - an algorithmic approach, Springer 1999 [Vorsicht, ziemlich viele Druckfehler.]
• G. Kemper: a course in commutative algebra
• A.W. Knapp: advanced algebra

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