Discovering Mathematics with Magma: Reducing the Abstract to the Concrete. Algorithms and Computation in Mathematics, Volume 19.

This volume celebrates the Computer Algebra system, Magma. With a design based on the ontology and semantics of algebra, Magma enables users to rapidly formulate and perform calculations in the more abstract parts of mathematics. This book introduces the reader to the role Magma plays in advanced mathematical research through 14 case studies which, in most cases, describe computations underpinning new theoretical results. The authors were chosen both for their expertise in the particular field and for their innovative use of Magma. Although by no means exhaustive, the topics range from number theory and algebraic geometry, via representation theory and group theory to some branches of discrete mathematics and graph theory. A basic introduction to the Magma language is given in an appendix. The book is simultaneously an invitation to learn a new programming language in the context of contemporary research problems, and an exposition of the types of problem that can be investigated using computational algebra.