ProgrammeLes objets manipulés : séries et fonctions hypergéométriques. Les démonstrations automatiques d'identités sur ces objets. La découverte et la démonstration d'identités nouvelles. Les rapports avec l'algèbre. L'implémentation des algorithmes et leur intégration dans les logiciels de calcul formel. |