Discovering Mathematics with Magma

Reducing the Abstract to the Concrete

  • Wieb Bosma
  • John Cannon

Part of the Algorithms and Computation in Mathematics book series (AACIM, volume 19)

Table of contents

  1. Front Matter
    Pages I-XXIV
  2. Gavin Brown
    Pages 137-159
  3. Donald E. Taylor
    Pages 161-185
  4. Jon F. Carlson
    Pages 187-204
  5. Jon F. Carlson
    Pages 205-220
  6. Derek F. Holt
    Pages 221-241
  7. Colva M. Roney-Dougal, William R. Unger
    Pages 243-260
  8. Paulette Lieby
    Pages 315-330
  9. Geoff Bailey
    Pages 331-356
  10. Back Matter
    Pages 356-374

About this book

Introduction

This volume celebrates the first decade of 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 of the chapters 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 over much of Magma's coverage of algorithmic algebra: 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.

Keywords

Magma Permutation Signatur algebra algorithms code computer computer algebra computer algebra system geometry graphs number theory programming programming language symbolic computation

Editors and affiliations

  • Wieb Bosma
    • 1
  • John Cannon
    • 2
  1. 1.Vakgroep WiskundeKatholieke Univ. NijmegenNijmegenNetherlands
  2. 2.Department Pure MathematicsUniversity SydneySydneyAustralia

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-37634-7
  • Copyright Information Springer 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Mathematics and Statistics
  • Print ISBN 978-3-540-37632-3
  • Online ISBN 978-3-540-37634-7
  • Series Print ISSN 1431-1550
  • About this book