Hi all, I want to know if there is a package that can be used to obtain summation formula like this below?

It must use Symbolics too.
Almost like this but more general:
Hi all, I want to know if there is a package that can be used to obtain summation formula like this below?

It must use Symbolics too.
Almost like this but more general: