Publisher’s description: This book brings together two streams of computer algebra: symbolic summation and integration on the one hand, and fast algorithmics on the other hand.
In symbolic integration and summation, not too many algorithms with analyzed run times are known, and until now the mathematically oriented world of integration and summation and the computer science world of algorithm analysis have not had much to say to each other.
The progress presented in this work towards overcoming this situation is threefold: a clear framework for algorithm analysis with the appropriate parameters is provided, modular algorithmic techniques are introduced in this area, and almost optimal algorithms are presented for the basic problems.