RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

qMultiSum

Short Description

qMultiSum is a Mathematica package for proving q-hypergeometric multiple summation identities. It has been developed by Axel Riese, a PostDoc of the RISC Combinatorics group.

Registration and Legal Notices

The source code for this package is password protected. To get the password send an email to Peter Paule. It will be given for free to all researchers and non-commercial users.

Copyright © 1999–2012 The RISC Combinatorics Group, Austria — all rights reserved. Commercial use of the software is prohibited without prior written permission.

A Note on Encoded Files

This package contains one or more Mathematica input files which are encoded. Those files cannot be read or modified directly as plain text, but can be loaded into Mathematica just like any normal input file (i.e., with <<"file" or Get["file"]). There is no need (and also no way) to decode them by using additional software or a special key.

If loading an encoded file causes a syntax error, open it with a text editor and remove any blank lines at the beginning (for some reason your Mac could have inserted them silently...).

The Package

The qMultiSum package consists of the Mathematica input file and "The Beginner's Guide to qMultiSum"

Screenshot

Click here for an automatic proof of an identity that implies Andrews' generalization of the Pentagonal Number Theorem.

Literature

Information on the use of the package (together with its theoretical background) can be found in the paper
A. Riese, qMultiSum - A Package for Proving q-Hypergeometric Multiple Summation Identities, J. Symbolic Comput., 35 (2003), 349-376. [pdf]

Versions and Bugs

The current version of the package is 2.52 last updated on July 30, 2010. Please report any bugs and comments to Ralf Hemmecke.