Arjeh M. Cohen,
Hans Cuypers,
Hans Sterk
Springer Berlin Heidelberg
1999e druk, 1998
9783540634805
Some Tapas of Computer Algebra
Specificaties
Gebonden, 352 blz.
|
Engels
Springer Berlin Heidelberg |
1999e druk, 1998
ISBN13: 9783540634805
Rubricering
Onderdeel van serie
Algorithms and Computation in Mathematics
Levertijd ongeveer 8 werkdagen
Samenvatting
This book presents the basic concepts and algorithms of computer algebra using practical examples that illustrate their actual use in symbolic computation. A wide range of topics are presented, including: Groebner bases, real algebraic geometry, lie algebras, factorization of polynomials, integer programming, permutation groups, differential equations, coding theory, automatic theorem proving, and polyhedral geometry. This book is a must read for anyone working in the area of computer algebra, symbolic computation, and computer science.
Specificaties
ISBN13:9783540634805
Taal:Engels
Bindwijze:gebonden
Aantal pagina's:352
Uitgever:Springer Berlin Heidelberg
Druk:1999
Hoofdrubriek:Wetenschap en techniek, Computer en informatica
Inhoudsopgave
Preface.- Chapt. 1. Gröbner Bases, an Introduction by A.M.Cohen.- Chapt. 2. Symbolic Recipes for Polynomial System Solving by L.Gonzalez-Vega, F.Rouillier, M.-F.Roy.- Chapt. 3. Lattice Reduction by F.Beukers.- Chapt. 4. Factorization of Polynomials by F.Beukers.- Chapt. 5. Computation in Associative and Lie Algebras by G.Ivanyos and L.Rónyai.- Chapt. 6. Symbolic Recipes for Real Solutions by L.Gonzalez-Vega, F.Rouillier, M.-F.Roy, G.Trujillo.- Chapt. 7. Gröbner Bases and Integer Programming by G.M.Ziegler.- Chapt. 8. Working With Finite Groups by H.Cuypers, L.H.Soicher, H.Sterk.- Chapt.9. Symbolic Analysis of Differential Equations by M.van der Put.- Chapt. 10. Gröbner Bases for Codes by M. de Boer, R.Pellikaan.- Chapt. 11. Gröbner Bases for Decoding by M. de Boer, R.Pellikaan.- Project 1. Automatic Geometry Theorem Proving by T.Recio, H.Sterk, M.P.Vélez.- Project 2. The Birkhoff Interpolation Problem by M.-J. Gonzalez-Lopez, L.Gonzalez-Vega.- Project 3. The Inverse Kinematics Problem in Robotics by M.-J.Gonzalez-Lopez, L.Gonzalez-Vega.- Project 4. Quaternion Algebras by G.Ivanyos, L. Rónyai.- Project 5. Explorations with the Icosahedral Group by A.M.Cohen, H.Cuypers, R.Riebeek.- Project 6. The Small Mathieu Groups by H.Cuypers, L.H.Soicher, H.Sterk.- Project 7. The Golay Codes by M. de Boer, R.Pellikaan