qZeil

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