Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

Cited literature [30 references]  Display  Hide  Download
Contributor : Service Ist Inria Sophia Antipolis-Méditerranée / I3s Connect in order to contact the contributor
Submitted on : Thursday, March 13, 2014 - 5:06:11 PM
Last modification on : Sunday, April 26, 2020 - 1:34:02 PM
Long-term archiving on: : Friday, June 13, 2014 - 12:12:22 PM


Files produced by the author(s)




Carsten Schneider. The Summation Package Sigma: Underlying Principles and a Rhombus Tiling Application. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2004, Vol. 6 no. 2 (2), pp.365-386. ⟨10.46298/dmtcs.313⟩. ⟨hal-00959014⟩



Record views


Files downloads