Bücher der Reihe Algorithms and Computation in Mathematics

Based on the ontology and semantics of algebra, the computer algebra system Magma enables users to rapidly formulate and perform calculations in abstract parts of mathematics. Coverage ranges from number theory and algebraic geometry, through representation theory and group theory to discrete mathematics and graph theory.

This ACM volume deals with tackling problems that can be represented by data structures which are essentially matrices with polynomial entries, mediated by the disciplines of commutative algebra and algebraic geometry.

Based on the ontology and semantics of algebra, the computer algebra system Magma enables users to rapidly formulate and perform calculations in abstract parts of mathematics. Coverage ranges from number theory and algebraic geometry, through representation theory and group theory to discrete mathematics and graph theory.

From the reviews of the 1st edition:"This book provides a comprehensive and detailed account of different topics in algorithmic 3-dimensional topology, culminating with the recognition procedure for Haken manifolds and including the up-to-date results in computer enumeration of 3-manifolds.