| Synopsis: |
Schon seit den 50-er Jahren versucht man, neben rein numerischen Re- nungen auch algebraische Umformungen mit Computern zu erledigen. H- ausgekommen sind dabei kleine und grosse Computeralgebra-Systeme, in - nen teilweise Hunderte von Mann-Jahren Entwicklung und eine ungeheure mathematische Expertise stecken. Deshalb bringt es nicht nur viel, wenn man mit solch einem Programm arbeitet, sondern es lohnt sich auch hinter die Kulissen zu schauen. Das vorliegende Buch stellt deshalb einige dieser Systeme vor und zeigt an Beispielen deren Leistungsf] ahigkeit. Grundlegende Techniken, wie etwa das Rechnen mit grossen ganzen Zahlen oder Polynomen, werden unt- sucht. Dabei zeigt sich, dass man oft fur ein Problem mehrere Algorithmen ] braucht, weil diese ganz verschiedene Starken haben. Die Algorithmen wer- ] den begrundet, oft in einer Pseudoprogrammiersprache dargestellt, die sich ] nicht in technischen Details verliert, und analysiert. Dies wird begleitet von vielen durchgerechneten Beispielen. Oftmals stellt es sich heraus, dass vermeintliche Umwege uber ande- ] re mathematische Strukturen der schnellste Weg sind, z.B. wenn fur die ] Faktorisierung ganzzahliger Polynome in endlichen Korpern gerechnet wird. ] Da dies algebraische Kenntnisse erfordert, werden die n] otigen Grundlagen m] oglichst kurz und ohne Beweise eingefuhrt, ] so dass Kenntnisse der linearen Algebra zum Verst] andnis ausreichen sollten. Sicher nutzlic ] h sind ausserdem Erfahrungen mit einer Programmiersprac |