Cargando…

Discovering Mathematics with Magma Reducing the Abstract to the Concrete /

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 p...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bosma, Wieb (Editor ), Cannon, John (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Algorithms and Computation in Mathematics ; 19
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-540-37634-7
003 DE-He213
005 20220119193318.0
007 cr nn 008mamaa
008 100301s2006 gw | s |||| 0|eng d
020 |a 9783540376347  |9 978-3-540-37634-7 
024 7 |a 10.1007/978-3-540-37634-7  |2 doi 
050 4 |a QA76.75-76.765 
072 7 |a UFM  |2 bicssc 
072 7 |a COM077000  |2 bisacsh 
072 7 |a UFM  |2 thema 
082 0 4 |a 510.285  |2 23 
245 1 0 |a Discovering Mathematics with Magma  |h [electronic resource] :  |b Reducing the Abstract to the Concrete /  |c edited by Wieb Bosma, John Cannon. 
250 |a 1st ed. 2006. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2006. 
300 |a XXIV, 364 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Algorithms and Computation in Mathematics ;  |v 19 
505 0 |a 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. 
520 |a 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. 
650 0 |a Computer software. 
650 0 |a Algebra. 
650 0 |a Algorithms. 
650 0 |a Computer science-Mathematics. 
650 1 4 |a Mathematical Software. 
650 2 4 |a Algebra. 
650 2 4 |a Algorithms. 
650 2 4 |a Symbolic and Algebraic Manipulation. 
700 1 |a Bosma, Wieb.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Cannon, John.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783540828020 
776 0 8 |i Printed edition:  |z 9783642072314 
776 0 8 |i Printed edition:  |z 9783540376323 
830 0 |a Algorithms and Computation in Mathematics ;  |v 19 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-540-37634-7  |z Texto Completo 
912 |a ZDB-2-SMA 
912 |a ZDB-2-SXMS 
950 |a Mathematics and Statistics (SpringerNature-11649) 
950 |a Mathematics and Statistics (R0) (SpringerNature-43713)