Computeralgebra Systeme gewinnen immer mehr an Bedeutung bei der Anwendung mathematischer Methoden in Naturwissenschaft und Technik.
Solche Systeme erlauben umfangreiche symbolische Berechnungen und, im Gegensatz zur Numerik, auch exakte Berechnungen. Die Vorlesung ist der zweite Teil einer
Spezialisierungssequenz Computeralgebra. Sie kann allerdings auch unabhängig vom ersten Teil im Sommersemester 03 gehört werden, weil disjunkte Themen
besprochen werden sollen. Einzig eine gewisse Vertrautheit mit Euklids Algorithmus und seinen Anwendungen soll vorausgesetzt werden; Themen, die bei Bedarf auch
wiederholt werden können.
Geplanter Inhalt: Faktorisierung von Polynomen, Faktorisierung ganzer Zahlen, Primzahltests (inkl. AKS), kurze Vektoren in Gittern (LLL), schnelle lineare Algebra.