|
|
|
|
| LEADER |
02714nmm a2200349 u 4500 |
| 001 |
EB000686452 |
| 003 |
EBX01000000000000000539534 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
140122 ||| eng |
| 020 |
|
|
|a 9783662038918
|
| 100 |
1 |
|
|a Cohen, Arjeh M.
|e [editor]
|
| 245 |
0 |
0 |
|a Some Tapas of Computer Algebra
|h Elektronische Ressource
|c edited by Arjeh M. Cohen, Hans Cuypers, Hans Sterk
|
| 250 |
|
|
|a 1st ed. 1999
|
| 260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 1999, 1999
|
| 300 |
|
|
|a XIV, 352 p. 2 illus
|b online resource
|
| 505 |
0 |
|
|a 1. Gröbner Bases, an Introduction -- 2. Symbolic Recipes for Polynomial System Solving -- 3. Lattice Reduction -- 4. Factorisation of Polynomials -- 5. Computations in Associative and Lie Algebras -- 6. Symbolic Recipes for Real Solutions -- 7. Gröbner Bases and Integer Programming -- 8. Working with Finite Groups -- 9. Symbolic Analysis of Differential Equations -- 10. Gröbner Bases for Codes -- 11. Gröbner Bases for Decoding -- Project 1. Automatic Geometry Theorem Proving -- Project 2. The Birkhoff Interpolation Problem -- Project 3. The Inverse Kinematics Problem in Robotics -- Project 4. Quaternion Algebras -- Project 5. Explorations with the Icosahedral Group -- Project 6. The Small Mathieu Groups -- Project 7: The Golay Codes
|
| 653 |
|
|
|a Symbolic and Algebraic Manipulation
|
| 653 |
|
|
|a Computer science / Mathematics
|
| 653 |
|
|
|a Algorithms
|
| 653 |
|
|
|a Algebra
|
| 653 |
|
|
|a Discrete Mathematics
|
| 653 |
|
|
|a Discrete mathematics
|
| 700 |
1 |
|
|a Cuypers, Hans
|e [editor]
|
| 700 |
1 |
|
|a Sterk, Hans
|e [editor]
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
| 490 |
0 |
|
|a Algorithms and Computation in Mathematics
|
| 028 |
5 |
0 |
|a 10.1007/978-3-662-03891-8
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-662-03891-8?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 518.1
|
| 520 |
|
|
|a This book arose from a series of courses on computer algebra which were given at Eindhoven Technical University. Its chapters present a variety of topics in computer algebra at an accessible (upper undergraduate/graduate) level with a view towards recent developments. For those wanting to acquaint themselves somewhat further with the material, the book also contains seven 'projects', which could serve as practical sessions related to one or more chapters. The contributions focus on topics like Gröbner bases, real algebraic geometry, Lie algebras, factorisation of polynomials, integer programming, permutation groups, differential equations, coding theory, automatic theorem proving, and polyhedral geometry. This book is a must-read for everybody interested in computer algebra
|