rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Discovering Mathematics with Magma
    sub title: Reducing the Abstract to the Concrete
  name:
    name part: Bosma, Wieb.
    role:
      role term: editor.
  name:
    name part: Cannon, John.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2006
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XXIV, 364 p. online resource.
  abstract: 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.
  table of contents: Some computational experiments in number theory -- Applications of the class field theory of global fields -- Some ternary Diophantine equations of signature (n, n, 2) -- Studying the Birch and Swinnerton-Dyer conjecture for modular abelian varieties using Magma -- Computing with the analytic Jacobian of a genus 2 curve -- Graded rings and special K3 surfaces -- Constructing the split octonions -- Support varieties for modules -- When is projectivity detected on subalgebras? -- Cohomology and group extensions in Magma -- Computing the primitive permutation groups of degree less than 1000 -- Computer aided discovery of a fast algorithm for testing conjugacy in braid groups -- Searching for linear codes with large minimum distance -- Colouring planar graphs -- Appendix: The Magma language.
  note: edited by Wieb Bosma, John Cannon.
  subject:
    topic: Mathematics
  subject:
    topic: Computer science
    topic: Mathematics
  subject:
    topic: Algebra
  subject:
    topic: Algorithms
  subject:
    topic: Computer software
  subject:
    topic: Mathematics
  subject:
    topic: Mathematical Software
  subject:
    topic: Algebra
  subject:
    topic: Algorithms
  subject:
    topic: Symbolic and Algebraic Manipulation
  classification: QA76.75-76.765
  classification: 004
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Algorithms and Computation in Mathematics, 19
  identifier: 9783540376347
  identifier: http://dx.doi.org/10.1007/978-3-540-37634-7
  record info:
    record creation date: 100301
    record change date: 20151204171424.0
    record identifier: 978-3-540-37634-7