Computeralgebra für Fortgeschrittene (326.208)

Zeit: Di 14.45 - 16.15
Ort: T 211
Erste Veranstaltung: 6.3.2001

Die Vorlesung ist gedacht als Fortführung und Vertiefung des in "Einführung in die Computer-Algebra" behandelten Stoffes. Insbesondere werden wir uns ausführlich mit der Theorie der Gröbnerbasen, dem automatischen Beweisen geometrischer Theoreme, der symbolischen Integration und der Faktorisierung von Polynomen über verschiedenen Grundkörpern befassen. Als Textbuch für die Vorlesung dient F. Winkler, Polynomial Algorithms in Computer Algebra, Springer-Verlag, Wien New York (1996).