作者: Volker Weispfenning

The origins of the mathematics in this book date back more than two thou- sand years, as can be seen from the fact that one of the most important algorithms presented here bears the name of the Greek …

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 i …

Two ideas lie gleaming on the jeweler’s velvet. The first is the calculus, the sec- ond, the algorithm. The calculus and the rich body of mathematical analysis to which it gave rise made modern scien …