Introduction

In the recent decades it has been more and more realized that computers are of enormous importance for numerical computations. However, these powerful general purpose machines can also be used for transforming, combining and computing symbolic algebraic expressions. In other words, computers can not only deal with numbers, but also with abstract symbols representing mathematical formulas. This fact has been realized much later and is only now gaining acceptance among mathematicians and engineers.