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.

The first interactive course covering first and second year algebra. Starting from such fundamental topics as integers and divisions, modular arithmetic and polynomials the content extends to rings, fields and permutation groups. The hypertext is written in Java-enhanced HTML, and Java applets illustrate the theory while also contributing interactive calculators for computing with integers, polynomials and permutations. The computer algebra system GAP is integrated throughout, allowing the calculation and manipulation of mathematical objects. In addition, collections for Mathematica notebooks and Maple worksheets review the algorithms presented. Multiple choice exercises provide users with instant feedback, while facilities for monitoring students and a bulletin board complete this digital course.

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.