|title:||The Summation Package Sigma: Underlying Principles and a Rhombus Tiling Application|
|keywords:||symbolic summation, rhombus tilings|
|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.
If your browser does not display the abstract correctly (because of the different mathematical symbols) you can look it up in the PostScript or PDF files.
|reference:||Carsten Schneider (2004), The Summation Package Sigma: Underlying Principles and a Rhombus Tiling Application, Discrete Mathematics and Theoretical Computer Science 6, pp. 365-386|
|bibtex:||For a corresponding BibTeX entry, please consider our BibTeX-file.|
|ps.gz-source:||dm060212.ps.gz (105 K)|
|ps-source:||dm060212.ps (279 K)|
|pdf-source:||dm060212.pdf (223 K)|
The first source gives you the `gzipped' PostScript, the second the plain PostScript and the third the format for the Adobe accrobat reader. Depending on the installation of your web browser, at least one of these should (after some amount of time) pop up a window for you that shows the full article. If this is not the case, you should contact your system administrator to install your browser correctly.
Due to limitations of your local software, the two formats may show up differently on your screen. If eg you use xpdf to visualize pdf, some of the graphics in the file may not come across. On the other hand, pdf has a capacity of giving links to sections, bibliography and external references that will not appear with PostScript.