|
" Some Tapas of Computer Algebra "
edited by Arjeh M. Cohen, Hans Cuypers, Hans Sterk.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
577824
|
| Doc. No
|
:
|
b407043
|
| Main Entry
|
:
|
Cohen, Arjeh M.
|
| Title & Author
|
:
|
Some Tapas of Computer Algebra\ edited by Arjeh M. Cohen, Hans Cuypers, Hans Sterk.
|
| Publication Statement
|
:
|
Berlin, Heidelberg :: Springer Berlin Heidelberg :: Imprint: Springer,, 1999.
|
| Series Statement
|
:
|
Algorithms and Computation in Mathematics,; 4
|
| ISBN
|
:
|
9783662038918
|
|
|
:
|
: 9783642083358
|
| Contents
|
:
|
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.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Mathematics.
|
| Subject
|
:
|
Algebra-- Data processing.
|
| Subject
|
:
|
Algebra.
|
| Subject
|
:
|
Algorithms.
|
| Subject
|
:
|
Combinatorics.
|
| Added Entry
|
:
|
Cuypers, Hans.
|
|
|
:
|
Sterk, Hans.
|
| Added Entry
|
:
|
SpringerLink (Online service)
|
| |