Results 1  10
of
20
A Mathematica qAnalogue of Zeilberger's Algorithm for Proving qHypergeometric Identities
, 1995
"... Besides an elementary introduction to qidentities and basic hypergeometric series, a newly developed Mathematica implementation of a qanalogue of Zeilberger's fast algorithm for proving terminating qhypergeometric identities together with its theoretical background is described. To illustrate t ..."
Abstract

Cited by 62 (11 self)
 Add to MetaCart
Besides an elementary introduction to qidentities and basic hypergeometric series, a newly developed Mathematica implementation of a qanalogue of Zeilberger's fast algorithm for proving terminating qhypergeometric identities together with its theoretical background is described. To illustrate the usage of the package and its range of applicability, nontrivial examples are presented as well as additional features like the computation of companion and dual identities.
Integral bases for TQFT modules and unimodular representations of mapping class groups
"... Abstract. We construct integral bases for the SO(3)TQFTmodules of surfaces in genus one and two at roots of unity of prime order and show that the corresponding mapping class group representations preserve a unimodular Hermitian form over a ring of algebraic integers. For higher genus surfaces the ..."
Abstract

Cited by 11 (8 self)
 Add to MetaCart
Abstract. We construct integral bases for the SO(3)TQFTmodules of surfaces in genus one and two at roots of unity of prime order and show that the corresponding mapping class group representations preserve a unimodular Hermitian form over a ring of algebraic integers. For higher genus surfaces the Hermitian form sometimes must be nonunimodular. In one such case, genus 3 and p = 5, we still give an explicit basis. 1.
The history of qcalculus and a new method
, 2000
"... 1.1. Partitions, generalized Vandermonde determinants and representation theory. 5 1.2. The Frobenius character formulae. 8 ..."
Abstract

Cited by 10 (8 self)
 Add to MetaCart
1.1. Partitions, generalized Vandermonde determinants and representation theory. 5 1.2. The Frobenius character formulae. 8
Enumeration of rhombus tilings of a hexagon which contain a fixed rhombus in the centre
"... Abstract. We compute the number of rhombus tilings of a hexagon with side lengths a,b,c,a,b,c which contain the central rhombus and the number of rhombus tilings of a hexagon with side lengths a,b,c,a,b,c which contain the ‘almost central ’ rhombus above the centre. ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
Abstract. We compute the number of rhombus tilings of a hexagon with side lengths a,b,c,a,b,c which contain the central rhombus and the number of rhombus tilings of a hexagon with side lengths a,b,c,a,b,c which contain the ‘almost central ’ rhombus above the centre.
Proof of a determinant evaluation conjectured by Bombieri, Hunt and van der Poorten
, 1997
"... Abstract. A determinant evaluation is proven, a special case of which establishes a conjecture of Bombieri, Hunt, and van der Poorten (Experimental Math. 4 (1995), 87–96) that arose in the study of Thue’s method of approximating algebraic numbers. 1. Introduction. In their study [2] of Thue’s method ..."
Abstract

Cited by 6 (5 self)
 Add to MetaCart
Abstract. A determinant evaluation is proven, a special case of which establishes a conjecture of Bombieri, Hunt, and van der Poorten (Experimental Math. 4 (1995), 87–96) that arose in the study of Thue’s method of approximating algebraic numbers. 1. Introduction. In their study [2] of Thue’s method of approximating an algebraic number, Bombieri, Hunt, and van der Poorten conjectured two determinant evaluations, one of which can be restated as follows. Conjecture (Bombieri, Hunt, van der Poorten [2, nexttolast paragraph]). Let b, c be nonnegative integers, c ≤ b, and let ∆(b, c) be the determinant of the
Automatic Generation Of Hypergeometric Identities By The Beta Integral Method
 J. COMPUT. APPL. MATH
"... In this article hypergeometric identities (or transformations) for p+1 F p  series and for Kampe de Feriet series of unit arguments are derived systematically from known transformations of hypergeometric series and products of hypergeometric series, respectively, using the beta integral method i ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
In this article hypergeometric identities (or transformations) for p+1 F p  series and for Kampe de Feriet series of unit arguments are derived systematically from known transformations of hypergeometric series and products of hypergeometric series, respectively, using the beta integral method in an automated manner, based on the Mathematica package HYP. As a result we obtain some known and some identities which seem to not have been recorded before in literature.
A Proof of a Conjecture of Knuth
, 1996
"... From numerical experiments, D. E. Knuth conjectured that 0 ! D n+4 ! D n for a combinatorial sequence (D n ) defined as the difference D n = R n \Gamma L n of two definite hypergeometric sums. The conjecture implies an identity of type L n = bR n c, involving the floor function. ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
From numerical experiments, D. E. Knuth conjectured that 0 ! D n+4 ! D n for a combinatorial sequence (D n ) defined as the difference D n = R n \Gamma L n of two definite hypergeometric sums. The conjecture implies an identity of type L n = bR n c, involving the floor function.
A Systematic List of Two and Threeterm Contiguous Relations for Basic Hypergeometric Series
"... ..."
How can we escape Thomae’s relations?
 J. MATH. SOC. JAPAN
, 2005
"... In 1879, Thomae discussed the relations between two generic hypergeometric 3F2series with argument 1. It is wellknown since then that there are 120 such relations (including the trivial ones which come from permutations of the parameters of the hypergeometric series). More recently, Rhin and Vio ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
In 1879, Thomae discussed the relations between two generic hypergeometric 3F2series with argument 1. It is wellknown since then that there are 120 such relations (including the trivial ones which come from permutations of the parameters of the hypergeometric series). More recently, Rhin and Viola asked the following question (in a different, but equivalent language of integrals): If there exists a linear dependence relation over Q between two convergent 3F2series with argument 1, with integral parameters, and whose values are irrational numbers, is this relation a specialisation of one of the 120 Thomae relations? A few years later, Sato answered this question in the negative, by giving six examples of relations which cannot be explained by Thomae’s relations. We show that Sato’s counterexamples can be naturally embedded into two families of infinitely many 3F2relations, both parametrised by three independent parameters. Moreover, we find two more infinite families of the same nature. The families, which do not seem to have been recorded before, come from certain 3F2transformation formulae and contiguous relations. We also explain in detail the relationship between the integrals of Rhin and Viola and 3F2series.
Fakultät für Mathematik
, 2005
"... A polynomial method for the enumeration of plane partitions and alternating sign matrices ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
A polynomial method for the enumeration of plane partitions and alternating sign matrices