書誌事項

Some tapas of computer algebra

Arjeh M. Cohen, Hans Cuypers, Hans Sterk (eds.)

(Algorithms and computation in mathematics, v. 4)

Springer, c1999

この図書・雑誌をさがす
注記

Includes bibliographical references and index

内容説明・目次

内容説明

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.

目次

Preface.- Chapt. 1. Groebner 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.Ronyai.- Chapt. 6. Symbolic Recipes for Real Solutions by L.Gonzalez-Vega, F.Rouillier, M.-F.Roy, G.Trujillo.- Chapt. 7. Groebner 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. Groebner Bases for Codes by M. de Boer, R.Pellikaan.- Chapt. 11. Groebner Bases for Decoding by M. de Boer, R.Pellikaan.- Project 1. Automatic Geometry Theorem Proving by T.Recio, H.Sterk, M.P.Velez.- 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. Ronyai.- 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

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ