Description
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 Preface.- Magma: the project.- About this volume.- How to read the Magma code?- W.Bosma: Some computational experiments in number theory.- C.Fieker: Applications of the class field theory of global fields.- N.Bruin: Some ternary Diophantine equations of signature (n,n,2).- W.Stein: Studying the Birch and Swinnerton-Dyer conjecture for modular abelian varieties using Magma.- P.B.van Wamelen: Computing with the analytic Jacobian of a genus 2 curve.- G.Brown: Graded rings and special K3 surfaces.- D.E.Taylor: Constructing the split octonions.- J.F.Carlson: Support varieties for modules.- J.F.Carlson: When is projectivity detected on subalgebras?- D.F.Holt: Cohomology and group extensions in Magma.- C.M.Roney-Dougal, W.R.Unger: Computing the primitive permuation groups of degree less than 1000.- V.Gebhardt: Computer aided discovery of a fast algorithm for testing conjugacy in braid groups.- M.Grassl: Searching for linear codes with large minimum distance.- P.Lieby: Colouring planar graphs.- G.Bailey: Appendix: The Magma Language.- Index
