qZeil

From MaRDI portal
Software:13518



swMATH770MaRDI QIDQ13518


No author found.





Related Items (62)

A Symbolic Summation Approach to Find Optimal Nested Sum RepresentationsSome Gaussian binomial sum formulæ with applicationsUnnamed ItemUnnamed Item\(q\)-Gosper algorithm and simple Bailey pairsPolynomial identities implying Capparelli's partition theoremsPadé approximations to the logarithm II: Identities, recurrences, and symbolic computationDisturbing the Dyson conjecture, in a generally GOOD wayThe colored Jones function is \(q\)-holonomic\texttt{RRtools} -- a Maple package for aiding the discovery and proof of finite Rogers-Ramanujan type identitiesTelescoping in the context of symbolic summation in MapleSolving parameterized linear difference equations in terms of indefinite nested sums and productsA generalization of Gosper's algorithm to bibasic hypergeometric summationIrreducibility of \(q\)-difference operators and the knot \(7_{4}\)The generalized Lilbert matrixFast computation of the \(N\)-th term of a \(q\)-holonomic sequence and applicationsUnnamed ItemUnnamed ItemThe extended Zeilberger algorithm with parameters\texttt{qMultiSum} -- a package for proving \(q\)-hypergeometric multiple summation identitiesComputer proofs of a new family of harmonic number identities.Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspectsNon-Terminating Basic Hypergeometric Series and the q-Zeilberger AlgorithmA refined difference field theory for symbolic summationParameterized telescoping proves algebraic independence of sumsAlgorithms for \(q\)-hypergeometric summation in computer algebraAn implementation of Karr's summation algorithm in MathematicaApplicability of the \(q\)-analogue of Zeilberger's algorithmSharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithmsOn the Gosper-Petkovšek representation of rational functionsThe generalized reciprocal super Catalan matrixMultibasic and mixed hypergeometric Gosper-type algorithmsA difference ring theory for symbolic summationAn extension of Zeilberger's fast algorithm to general holonomic functionsThe inverse Filbert matrixRecurrence relations and asymptotics of colored Jones polynomialsThe \(C\)-polynomial of a knotAn Ansatz for the asymptotics of hypergeometric multisumsRational solutions of ordinary difference equationsA new Sigma approach to multi-summationStructural theorems for symbolic summationIndefinite summation with unspecified summandsThe \(\mathfrak {sl}_{3}\) Jones polynomial of the trefoil: a case study of \(q\)-holonomic sequencesEfficient \(q\)-integer linear decomposition of multivariate polynomials\texttt{qFunctions} -- a Mathematica package for \(q\)-series and partition theory applicationsParameter augmentation and the \(q\)-Gosper algorithmA nonlinear generalization of the Filbert matrix and its Lucas analogueTHE NON-COMMUTATIVE A-POLYNOMIAL OF TWIST KNOTSD.H. Lehmer's tridiagonal determinant: an étude in (Andrews-inspired) experimental mathematicsNon-commutative elimination in Ore algebras proves multivariate identitiesRational solutions of first-order algebraic ordinary difference equationsRogers-Ramanujan computer searchesUnnamed ItemSome more identities of the Rogers-Ramanujan typeA class of non-symmetric band determinants with the Gaussianq-binomial coefficientsA Mathematica package for \(q\)-holonomic sequences and power seriesUnnamed ItemOn matrix product ansatz for asymmetric simple exclusion process with open boundary in the singular caseAn algorithmic approach to discovering and proving \(q\)-series identitiesExperimental evidence for the Volume Conjecture for the simplest hyperbolic non-2-bridge knotA Macsyma implementation of Zeilberger's fast algorithmMultInt, a MAPLE package for multiple integration by the WZ method


This page was built for software: qZeil