swMATH770MaRDI QIDQ13518FDOQ13518
Author name not available (Why is that?)
Official website: http://www.risc.jku.at/research/combinat/software/qZeil/
Cited In (only showing first 100 items - show all)
- A Macsyma implementation of Zeilberger's fast algorithm
- On matrix product ansatz for asymmetric simple exclusion process with open boundary in the singular case
- Polynomial identities implying Capparelli's partition theorems
- NestedProducts
- A class of non-symmetric band determinants with the Gaussian \(q\)-binomial coefficients
- Recurrence relations and asymptotics of colored Jones polynomials
- A nonlinear generalization of the Filbert matrix and its Lucas analogue
- Some Gaussian binomial sum formulæ with applications
- D.H. Lehmer's tridiagonal determinant: an étude in (Andrews-inspired) experimental mathematics
- \(q\)-Gosper algorithm and simple Bailey pairs
- Efficient \(q\)-integer linear decomposition of multivariate polynomials
- The generalized reciprocal super Catalan matrix
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- Title not available (Why is that?)
- Title not available (Why is that?)
- Rational solutions of first-order algebraic ordinary difference equations
- On the Gosper-Petkovšek representation of rational functions
- An implementation of Karr's summation algorithm in Mathematica
- Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
- A new Sigma approach to multi-summation
- The \(\mathfrak {sl}_{3}\) Jones polynomial of the trefoil: a case study of \(q\)-holonomic sequences
- Some more identities of the Rogers-Ramanujan type
- Title not available (Why is that?)
- Structural theorems for symbolic summation
- Solving parameterized linear difference equations in terms of indefinite nested sums and products
- The extended Zeilberger algorithm with parameters
- Rogers-Ramanujan computer searches
- Disturbing the Dyson conjecture, in a generally GOOD way
- Computer proofs of a new family of harmonic number identities.
- Algorithms for \(q\)-hypergeometric summation in computer algebra
- Parameter augmentation and the \(q\)-Gosper algorithm
- A refined difference field theory for symbolic summation
- Multibasic and mixed hypergeometric Gosper-type algorithms
- The non-commutative \(A\)-polynomial of twist knots
- Fast computation of the \(N\)-th term of a \(q\)-holonomic sequence and applications
- Title not available (Why is that?)
- Engel
- gfun
- HYPERG
- MultInt
- qMultiSum
- RRtools
- Title not available (Why is that?)
- HYP
- GoodDyson
- NewZeil.m
- recpf
- SIGMA
- RATE
- MultiZeilberger
- GuessRat
- QuantumMACMAHON
- Knot Atlas
- qZEILBERGER
- ROBBINS
- ZEILBERGER
- IdentityFinder
- Dependencies
- fastZeil
- HypergeometricSum
- MultiSum
- pqTelescope
- qGeneratingFunctions
- Telescopers
- qseries
- A symbolic summation approach to find optimal nested sum representations
- SumTools
- Snap
- qTSPP
- ramarobinsids
- thetaids
- qFunctions
- qMultiZeilberger
- qEKHAD
- Experimental evidence for the Volume Conjecture for the simplest hyperbolic non-2-bridge knot
- The colored Jones function is \(q\)-holonomic
- An algorithmic approach to discovering and proving \(q\)-series identities
- RatDiff
- RhoSum
- Non-commutative elimination in Ore algebras proves multivariate identities
- Parameterized telescoping proves algebraic independence of sums
- Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation
- Telescoping in the context of symbolic summation in Maple
- A difference ring theory for symbolic summation
- The inverse Filbert matrix
- A Mathematica package for \(q\)-holonomic sequences and power series
- Indefinite summation with unspecified summands
- An extension of Zeilberger's fast algorithm to general holonomic functions
- \texttt{qMultiSum} -- a package for proving \(q\)-hypergeometric multiple summation identities
- A generalization of Gosper's algorithm to bibasic hypergeometric summation
- \texttt{RRtools} -- a Maple package for aiding the discovery and proof of finite Rogers-Ramanujan type identities
- Applicability of the \(q\)-analogue of Zeilberger's algorithm
- Title not available (Why is that?)
- Non-Terminating Basic Hypergeometric Series and the q-Zeilberger Algorithm
- Irreducibility of \(q\)-difference operators and the knot \(7_{4}\)
- MultInt, a MAPLE package for multiple integration by the WZ method
- An Ansatz for the asymptotics of hypergeometric multisums
- Rational solutions of ordinary difference equations
- The \(C\)-polynomial of a knot
- The generalized Lilbert matrix
This page was built for software: qZeil
