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 Programmiersprache.
- ISBN10 3540213791
- ISBN13 9783540213796
- Publish Date September 2004
- Publish Status Active
- Publish Country DE
- Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K
- Edition 2005 ed.
- Format Paperback
- Language German