The Summation Package Sigma: Underlying Principles and a Rhombus Tiling Application

Abstract : We give an overview of how a huge class of multisum identities can be proven and discovered with the summation package Sigma implemented in the computer algebra system Mathematica. General principles of symbolic summation are discussed. We illustrate the usage of Sigma by showing how one can find and prove a multisum identity that arose in the enumeration of rhombus tilings of a symmetric hexagon. Whereas this identity has been derived alternatively with the help of highly involved transformations of special functions, our tools enable to find and prove this identity completely automatically with the computer.
Type de document :
Article dans une revue
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2004, 6 (2), pp.365-386
Liste complète des métadonnées

Littérature citée [30 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00959014
Contributeur : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
Soumis le : jeudi 13 mars 2014 - 17:06:11
Dernière modification le : mercredi 29 novembre 2017 - 10:26:25
Document(s) archivé(s) le : vendredi 13 juin 2014 - 12:12:22

Fichier

dm060212.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00959014, version 1

Collections

Citation

Carsten Schneider. The Summation Package Sigma: Underlying Principles and a Rhombus Tiling Application. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2004, 6 (2), pp.365-386. 〈hal-00959014〉

Partager

Métriques

Consultations de la notice

107

Téléchargements de fichiers

108