This work brings together two streams in computer algebra: symbolic integration and summation on the one hand, and fast algorithmics ...