Software para demostrar identidades de suma

Question

Las sumas pueden volverse realmente complicadas, especialmente cuando tienes sumas n-fold enrevesadas con todo tipo de índices diferentes.

Mi pregunta: ¿Existe algún software (o complemento) con el que puedas encontrar y demostrar identidades de suma (complicadas)?

Answer 1

Fabrizio Caruso implementó "el algoritmo de Gosper y Zeilberger para demostrar y encontrar identidades de sumatorias hipergeométricas indefinidas y definidas", como un paquete gratuito y de código abierto para usar con Maxima. Puedes obtenerlo aquí.