Modular algorithms in symbolic summation and symbolic integration. (English) Zbl 1131.68121
Lecture Notes in Computer Science 3218. Berlin: Springer (ISBN 978-3-540-24061-7/pbk). xvi, 224 p. (2005).
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.
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.
MSC:
68W30 | Symbolic computation and algebraic computation |
68-02 | Research exposition (monographs, survey articles) pertaining to computer science |