Symbolic Integration I is destined to become the standard reference work in the field. Manuel Bronstein is a leading expert on this topic and his book is the first to treat the subject both comprehensively and in sufficient detail - incorporating new results along the way. The book addresses mathematicians and computer scientists interested in symbolic computation, developers and programmers of computer algebra systems as well as users of symbolic integration methods. Many algorithms are given in pseudocode ready for immediate implementation, making the book equally...
Symbolic Integration I is destined to become the standard reference work in the field. Manuel Bronstein is a leading expert on thi...
Symbolic Integration I is destined to become the standard reference work in the field. Manuel Bronstein is a leading expert on this topic and his book is the first to treat the subject both comprehensively and in sufficient detail - incorporating new results along the way. The book addresses mathematicians and computer scientists interested in symbolic computation, developers and programmers of computer algebra systems as well as users of symbolic integration methods. Many algorithms are given in pseudocode ready for immediate implementation, making the book equally...
Symbolic Integration I is destined to become the standard reference work in the field. Manuel Bronstein is a leading expert on thi...
Manuel Bronstein Johannes Grabmeier Volker Weispfenning
Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and are of great use when investigating the structure of the solutions. Such techniques appear in many important areas of research within computer algebra: - the Knuth-Bendix completion for groups, monoids and general term-rewriting systems, - the Buchberger algorithm for Grobner bases, - the Ritt-Wu characteristic set method for ordinary differential equations, and - the Riquier-Janet method for partial differential equations. This volume contains invited and contributed papers to the Symbolic...
Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and are of great use when investigating the structure o...
