東華大學圖書館 |

Algorithmic and experimental methods in algebra, geometry, and number theory

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Algorithmic and experimental methods in algebra, geometry, and number theory/ edited by Gebhard Bockle, Wolfram Decker, Gunter Malle.
其他作者:	Bockle, Gebhard.
出版者:	Cham :Springer International Publishing : : 2017.,
面頁冊數:	ix, 763 p. :ill., digital ;24 cm.
內容註:	Introduction -- Bachle et al: Algorithmic aspects of units in group rings -- M. Barakat et al: A constructice approach to the module of twisted glocal sections on relative projective spaces -- J. Bohm et al: Local to global algorithms for the Gorenstein adjoint ideal of a curve -- M. Borner et al: Picard curves with small conductor -- W. Bruns et al: Normaliz 2013-2016 -- T. Centeleghe et al: Integral Frobenius for abelian varieties with real multiplication -- M. Dettweiler et al: Monodromy of the multiplicative and the additive convolution -- B. Eick et al: Constructing groups of 'small' order: Recent results and open problems -- B. Eick et al: Classifying nilpotent associative algebras: small coclass and finite fields -- A. Fruehbis-Kruger et al: Desingularization of arithmetic surfaces: algorithmic aspects -- A. Gathmann et al: Moduli spaces of curves in tropical varieties -- A. Gathmann et al: Tropical moduli spaces of stable maps to a curve -- M. Geck et al: Invariant bilinear forms on W-graph representations and linear algebra over integral domains -- S. Hampe et al: Tropical computations in polymake -- M. Hoff: Focal schemes to families of secant spaces to canonical curves -- T. Hoge et al: Inductive and recursive freeness of localizations of multiarrangements -- L. Kastner: Toric ext and tor in polymake and Singular: The twodimensional case and beyond -- M. Lange-Hegermann et al: The differential dimension polynomial for characterizable differential ideals -- V. Levandovskyy: Factorization of Z-homogeneous polynomials in the first q-Weyl algebra -- E.W. Mayr et al: Complexity of membership problems of different types of polynomial ideals -- T. Moeller et al: Localizations of inductively factored arrangements -- G. Nebe et al: One class genera of lattice chains over number fields -- A. Paffenholz: polyDB: A database for polytopes and related objects -- G. G. Pfister et al: Construction of neron desingularization for two-dimensional rings. - T. Rossmann et al: A framework for computing zeta functions of groups, algebras, and modules -- A. Shalile: On decomposition numbers of diagram algebras -- U. Spreckels et al: Koblitz' conjecture for abelian varieties -- M. Stoll: Chabauty without the Mordell-Weil group -- M. Stoll: An explicit theory of heights for hyperelliptic Jacobians of genus three -- T. Theobald: Some recent developments in spectrahedral computation -- G. Wiese et al: Topics on modular Galois representations modulo prime powers.
Contained By:	Springer eBooks
標題:	Computer algorithms. -
電子資源:	http://dx.doi.org/10.1007/978-3-319-70566-8
ISBN:	9783319705668

Algorithmic and experimental methods in algebra, geometry, and number theory
Algorithmic and experimental methods in algebra, geometry, and number theory[electronic resource] /edited by Gebhard Bockle, Wolfram Decker, Gunter Malle. - Cham :Springer International Publishing :2017. - ix, 763 p. :ill., digital ;24 cm.

Introduction -- Bachle et al: Algorithmic aspects of units in group rings -- M. Barakat et al: A constructice approach to the module of twisted glocal sections on relative projective spaces -- J. Bohm et al: Local to global algorithms for the Gorenstein adjoint ideal of a curve -- M. Borner et al: Picard curves with small conductor -- W. Bruns et al: Normaliz 2013-2016 -- T. Centeleghe et al: Integral Frobenius for abelian varieties with real multiplication -- M. Dettweiler et al: Monodromy of the multiplicative and the additive convolution -- B. Eick et al: Constructing groups of 'small' order: Recent results and open problems -- B. Eick et al: Classifying nilpotent associative algebras: small coclass and finite fields -- A. Fruehbis-Kruger et al: Desingularization of arithmetic surfaces: algorithmic aspects -- A. Gathmann et al: Moduli spaces of curves in tropical varieties -- A. Gathmann et al: Tropical moduli spaces of stable maps to a curve -- M. Geck et al: Invariant bilinear forms on W-graph representations and linear algebra over integral domains -- S. Hampe et al: Tropical computations in polymake -- M. Hoff: Focal schemes to families of secant spaces to canonical curves -- T. Hoge et al: Inductive and recursive freeness of localizations of multiarrangements -- L. Kastner: Toric ext and tor in polymake and Singular: The twodimensional case and beyond -- M. Lange-Hegermann et al: The differential dimension polynomial for characterizable differential ideals -- V. Levandovskyy: Factorization of Z-homogeneous polynomials in the first q-Weyl algebra -- E.W. Mayr et al: Complexity of membership problems of different types of polynomial ideals -- T. Moeller et al: Localizations of inductively factored arrangements -- G. Nebe et al: One class genera of lattice chains over number fields -- A. Paffenholz: polyDB: A database for polytopes and related objects -- G. G. Pfister et al: Construction of neron desingularization for two-dimensional rings. - T. Rossmann et al: A framework for computing zeta functions of groups, algebras, and modules -- A. Shalile: On decomposition numbers of diagram algebras -- U. Spreckels et al: Koblitz' conjecture for abelian varieties -- M. Stoll: Chabauty without the Mordell-Weil group -- M. Stoll: An explicit theory of heights for hyperelliptic Jacobians of genus three -- T. Theobald: Some recent developments in spectrahedral computation -- G. Wiese et al: Topics on modular Galois representations modulo prime powers.

This book presents state-of-the-art research and survey articles that highlight work done within the Priority Program SPP 1489 "Algorithmic and Experimental Methods in Algebra, Geometry and Number Theory", which was established and generously supported by the German Research Foundation (DFG) from 2010 to 2016. The goal of the program was to substantially advance algorithmic and experimental methods in the aforementioned disciplines, to combine the different methods where necessary, and to apply them to central questions in theory and practice. Of particular concern was the further development of freely available open source computer algebra systems and their interaction in order to create powerful new computational tools that transcend the boundaries of the individual disciplines involved. The book covers a broad range of topics addressing the design and theoretical foundations, implementation and the successful application of algebraic algorithms in order to solve mathematical research problems. It offers a valuable resource for all researchers, from graduate students through established experts, who are interested in the computational aspects of algebra, geometry, and/or number theory.

ISBN: 9783319705668

Standard No.: 10.1007/978-3-319-70566-8doiSubjects--Topical Terms:

523872
Computer algorithms.

LC Class. No.: QA76.9.A43

Dewey Class. No.: 005.1

Algorithmic and experimental methods in algebra, geometry, and number theory
LDR:04693nmm a2200313 a 4500 001 2113976
003 DE-He213
005 20180322204027.0
006 m d
007 cr nn 008maaau
008 180816s2017 gw s 0 eng d
020 $a 9783319705668 $q (electronic bk.)
020 $a 9783319705651 $q (paper)
024 7 $a 10.1007/978-3-319-70566-8 $2 doi
035 $a 978-3-319-70566-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A43
072 7 $a PBMW $2 bicssc
072 7 $a MAT012010 $2 bisacsh
082 0 4 $a 005.1 $2 23
090 $a QA76.9.A43 $b A396 2017
245 0 0 $a Algorithmic and experimental methods in algebra, geometry, and number theory $h [electronic resource] / $c edited by Gebhard Bockle, Wolfram Decker, Gunter Malle.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2017.
300 $a ix, 763 p. : $b ill., digital ; $c 24 cm.
505 0 $a Introduction -- Bachle et al: Algorithmic aspects of units in group rings -- M. Barakat et al: A constructice approach to the module of twisted glocal sections on relative projective spaces -- J. Bohm et al: Local to global algorithms for the Gorenstein adjoint ideal of a curve -- M. Borner et al: Picard curves with small conductor -- W. Bruns et al: Normaliz 2013-2016 -- T. Centeleghe et al: Integral Frobenius for abelian varieties with real multiplication -- M. Dettweiler et al: Monodromy of the multiplicative and the additive convolution -- B. Eick et al: Constructing groups of 'small' order: Recent results and open problems -- B. Eick et al: Classifying nilpotent associative algebras: small coclass and finite fields -- A. Fruehbis-Kruger et al: Desingularization of arithmetic surfaces: algorithmic aspects -- A. Gathmann et al: Moduli spaces of curves in tropical varieties -- A. Gathmann et al: Tropical moduli spaces of stable maps to a curve -- M. Geck et al: Invariant bilinear forms on W-graph representations and linear algebra over integral domains -- S. Hampe et al: Tropical computations in polymake -- M. Hoff: Focal schemes to families of secant spaces to canonical curves -- T. Hoge et al: Inductive and recursive freeness of localizations of multiarrangements -- L. Kastner: Toric ext and tor in polymake and Singular: The twodimensional case and beyond -- M. Lange-Hegermann et al: The differential dimension polynomial for characterizable differential ideals -- V. Levandovskyy: Factorization of Z-homogeneous polynomials in the first q-Weyl algebra -- E.W. Mayr et al: Complexity of membership problems of different types of polynomial ideals -- T. Moeller et al: Localizations of inductively factored arrangements -- G. Nebe et al: One class genera of lattice chains over number fields -- A. Paffenholz: polyDB: A database for polytopes and related objects -- G. G. Pfister et al: Construction of neron desingularization for two-dimensional rings. - T. Rossmann et al: A framework for computing zeta functions of groups, algebras, and modules -- A. Shalile: On decomposition numbers of diagram algebras -- U. Spreckels et al: Koblitz' conjecture for abelian varieties -- M. Stoll: Chabauty without the Mordell-Weil group -- M. Stoll: An explicit theory of heights for hyperelliptic Jacobians of genus three -- T. Theobald: Some recent developments in spectrahedral computation -- G. Wiese et al: Topics on modular Galois representations modulo prime powers.
520 $a This book presents state-of-the-art research and survey articles that highlight work done within the Priority Program SPP 1489 "Algorithmic and Experimental Methods in Algebra, Geometry and Number Theory", which was established and generously supported by the German Research Foundation (DFG) from 2010 to 2016. The goal of the program was to substantially advance algorithmic and experimental methods in the aforementioned disciplines, to combine the different methods where necessary, and to apply them to central questions in theory and practice. Of particular concern was the further development of freely available open source computer algebra systems and their interaction in order to create powerful new computational tools that transcend the boundaries of the individual disciplines involved. The book covers a broad range of topics addressing the design and theoretical foundations, implementation and the successful application of algebraic algorithms in order to solve mathematical research problems. It offers a valuable resource for all researchers, from graduate students through established experts, who are interested in the computational aspects of algebra, geometry, and/or number theory.
650 0 $a Computer algorithms. $3 523872
650 0 $a Number theory. $3 515832
650 1 4 $a Mathematics. $3 515831
650 2 4 $a Algebraic Geometry. $3 893861
650 2 4 $a Commutative Rings and Algebras. $3 891076
650 2 4 $a Group Theory and Generalizations. $3 893889
650 2 4 $a Number Theory. $3 891078
700 1 $a Bockle, Gebhard. $3 2058378
700 1 $a Decker, Wolfram. $3 3227407
700 1 $a Malle, Gunter. $3 709079
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-70566-8
950 $a Mathematics and Statistics (Springer-11649)