Computeralgebra bezeichnet den Grenzbereich zwischen Algebra und Informatik, der sich mit Entwurf, Analyse, Implementierung und Anwendung algebraischer Algorithmen befasst. Der Autor stellt einige Computeralgebra-Systeme vor und zeigt an Beispielen deren Leistungsfähigkeit. Grundlegende Techniken werden untersucht; für komplexe Fragestellungen werden mehrere Algorithmen angeboten. Die ersten Kapitel beinhalten die nötigen mathematischen Grundlagen, die übrigen können weitestgehend unabhängig voneinander gelesen werden. Alle vorgestellten Algorithmen werden begründet und teilweise in einer Pseudoprogrammiersprache dargestellt. Gleichermaßen geeignet für Studierende der Mathematik und der Informatik.

Autorentext
Michael Kaplan studierte europäische Geschichte in Harvard und Oxford und arbeitet als freier Autor in der Nähe von Edinburgh.

Inhalt

Einleitung.- Was ist Computeralgebra? Literatur. Computeralgebra-Systeme.- Grundlagen. Algorithmen und Ihre Komplexität. Kanonische Normalformen. Umformungssysteme. Ideale Resultanten. Partialbruchzerlegungen. Einige Schranken.- Rechnen mit homomorphen Bildern. Grundlegende Ideen. Das Chinesische Restproblem. Der Satz von Hensel.- Grundlegende algebraische Strukturen. Ganze Zahlen. Rationale Zahlen. Algebraische Zahlen und Funktionen. Verschachtelte Radikale. Allgemeine algebraische Ausdrücke. Transzendente Ausdrücke. Endliche Körper. Polynome.- Polynom­Faktorisierung. Motivation. Quadratfreie Faktorisierung. Der Berlekamp-Algorithmus. Berlekamp-Hensel Faktorisierung.- A Anhang. CA-Systeme.- B Anhang Beispielsitzungen. Maple. Mathematica. Gap.