Jürgen Gerhard - Böcker

This book constitutes the refereed proceedings of the third Maple Conference, MC 2019, held in Waterloo, Ontario, Canada, in October 2019. The 21 revised full papers and 9 short papers were carefully reviewed and selected out of 37 submissions, one invited paper is also presented in the volume.

This book constitutes refereed proceedings of the 4th Maple Conference, MC 2020, held in Waterloo, Ontario, Canada, in November 2020. The 25 revised full papers and 3 short papers were carefully reviewed and selected out of 75 submissions, one invited paper is also presented in the volume.

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.