Logo - springer
Slogan - springer

Mathematics - Computational Science & Engineering | Discovering Mathematics with Magma - Reducing the Abstract to the Concrete

Discovering Mathematics with Magma

Reducing the Abstract to the Concrete

Bosma, Wieb, Cannon, John (Eds.)

2006, XXIV, 364 p.

Available Formats:
eBook
Information

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.

 
$109.00

(net) price for USA

ISBN 978-3-540-37634-7

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase


learn more about Springer eBooks

add to marked items

Hardcover
Information

Hardcover version

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$139.00

(net) price for USA

ISBN 978-3-540-37632-3

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

Softcover
Information

Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$139.00

(net) price for USA

ISBN 978-3-642-07231-4

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

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.

Content Level » Research

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

Related subjects » Algebra - Computational Science & Engineering - Theoretical Computer Science

Table of contents 

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

Popular Content within this publication 

 

Articles

Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Mathematical Software.