El libro A = B de Petkovsek, Wilf y Zeilberger describe algoritmos para calcular diferentes sumas de binomios. AFAIK, estos algoritmos todavía están siendo mejorados por diferentes autores.
¿Sabes dónde podemos encontrar las implementaciones más actualizadas de estos algoritmos? ¿Y sabe si existen implementaciones en algunos softwares gratuitos como Sage ?
Respuestas:
Se implementa en Maxima ( http://maxima.sourceforge.net/docs/manual/de/maxima_77.html#SEC400 ), con el que Sage tiene interfaz. Algunas docenas de ejemplos (que van desde muy fácil hasta muy difícil) que probé hoy funcionan exactamente de la misma manera que en Maple.
fuente