Discovering Mathematics with Magma

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. Edited by the principal designers of the program, this book explores Magma. Coverage ranges from number theory and algebraic geometry, through representation theory and group theory to discrete mathematics and graph theory. Includes case studies describing computations underpinning new theoretical results.



Cannon:

1) Principal designer of the Magma system

2) Extensive contributions to the field of group theory algorithms

3) Awards:

  • 1993 CSIRO Medal (for Computer Algebra)
  • 2001 ATSE Clunies Ross Award (for Cryptography and Computer Algebra)
  • 2006 Richard D. Jenks Memorial Prize for Excellence in Software Engineering Applied to Computer Algebra.

 

Bosma: co-designer of Magma, active in computational number theory and computer algebra

Verwandte Artikel