I am wondering if there is any CAS that can work with formal sums and formal products.
For example, say is there any software that can comprehend expressions like
$\sum_{n=1}^k (x-n)^2$ or $\prod_{n=1}^k(x-n)$
as an expression in terms of $x,n$ and take derivative with respect to $x$.