Creative Telescoping for Holonomic Functions (Q5244921): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W186562849
@@ Property / OpenAlex ID: W186562849 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4554
@@ Property / arXiv ID: 1307.4554 / rank @@
+Normal rank
@@ Property / cites work @@
+When does Zeilberger's algorithm succeed?
@@ Property / cites work: When does Zeilberger's algorithm succeed? / rank @@
+Normal rank
@@ Property / cites work @@
+A criterion for the applicability of Zeilberger's algorithm to rational functions
+Normal rank
@@ Property / cites work @@
+The method of differentiating under the integral sign
+Normal rank
@@ Property / cites work @@
+Hypergeometric series acceleration via the WZ method
+Normal rank
@@ Property / cites work @@
+A pretty binomial identity
@@ Property / cites work: A pretty binomial identity / rank @@
+Normal rank
@@ Property / cites work @@
+THE ITERATED INTEGRALS OF <font>ln</font>(1 + x<sup>n</sup>)
+Normal rank
@@ Property / cites work @@
+Some questions concerning computer-generated proofs of a binomial double- sum identity
+Normal rank
@@ Property / cites work @@
+Plane partitions. VI: Stembridge's TSPP theorem
@@ Property / cites work: Plane partitions. VI: Stembridge's TSPP theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
+Normal rank
@@ Property / cites work @@
+Hypergeometric summation algorithms for high-order finite elements
+Normal rank
@@ Property / cites work @@
+A computer proof of a polynomial identity implying a partition theorem of Göllnitz
+Normal rank
@@ Property / cites work @@
+The analytic continuation of generalized functions with respect to a parameter
+Normal rank
@@ Property / cites work @@
+Sparse shape functions for tetrahedral \(p\)-FEM using integrated Jacobi polynomials
+Normal rank
@@ Property / cites work @@
+Sparsity optimized high order finite element functions for \(H(\mathrm{curl})\) on tetrahedra
+Normal rank
@@ Property / cites work @@
+Algorithms for \(q\)-hypergeometric summation in computer algebra
+Normal rank
@@ Property / cites work @@
+Q5301646
@@ Property / cites work: Q5301646 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of creative telescoping for bivariate rational functions
+Normal rank
@@ Property / cites work @@
+Explicit formula for the generating series of diagonal 3D rook paths
+Normal rank
@@ Property / cites work @@
+Ising<i>n</i>-fold integrals as diagonals of rational functions and integrality of series expansions
+Normal rank
@@ Property / cites work @@
+Hermite reduction and creative telescoping for hyperexponential functions
+Normal rank
@@ Property / cites work @@
+Creative telescoping for rational functions using the griffiths
+Normal rank
@@ Property / cites work @@
+Q2902935
@@ Property / cites work: Q2902935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3139575
@@ Property / cites work: Q3139575 / rank @@
+Normal rank
@@ Property / cites work @@
+A Macsyma implementation of Zeilberger's fast algorithm
+Normal rank
@@ Property / cites work @@
+Order-degree curves for hypergeometric creative telescoping
+Normal rank
@@ Property / cites work @@
+Trading order for degree in creative telescoping
@@ Property / cites work: Trading order for degree in creative telescoping / rank @@
+Normal rank
@@ Property / cites work @@
+Residues and telescopers for bivariate rational functions
+Normal rank
@@ Property / cites work @@
+A telescoping method for double summations
@@ Property / cites work: A telescoping method for double summations / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of telescopers for mixed hypergeometric terms
+Normal rank
@@ Property / cites work @@
+Telescopers for rational and algebraic functions via residues
+Normal rank
@@ Property / cites work @@
+Q4394947
@@ Property / cites work: Q4394947 / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of Zeilberger's fast algorithm to general holonomic functions
+Normal rank
@@ Property / cites work @@
+Non-commutative elimination in Ore algebras proves multivariate identities
+Normal rank
@@ Property / cites work @@
+A non-holonomic systems approach to special function identities
+Normal rank
@@ Property / cites work @@
+Third order integrability conditions for homogeneous potentials of degree −1
+Normal rank
@@ Property / cites work @@
+Q4850051
@@ Property / cites work: Q4850051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4873577
@@ Property / cites work: Q4873577 / rank @@
+Normal rank
@@ Property / cites work @@
+Irreducibility of \(q\)-difference operators and the knot \(7_{4}\)
+Normal rank
@@ Property / cites work @@
+The colored Jones function is \(q\)-holonomic
@@ Property / cites work: The colored Jones function is \(q\)-holonomic / rank @@
+Normal rank
@@ Property / cites work @@
+THE NON-COMMUTATIVE A-POLYNOMIAL OF TWIST KNOTS
@@ Property / cites work: THE NON-COMMUTATIVE A-POLYNOMIAL OF TWIST KNOTS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3084090
@@ Property / cites work: Q3084090 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4320535
@@ Property / cites work: Q4320535 / rank @@
+Normal rank
@@ Property / cites work @@
+Generators of some Ramanujan formulas
@@ Property / cites work: Generators of some Ramanujan formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Proving hypergeometric identities by numerical verifications
+Normal rank
@@ Property / cites work @@
+Zeilberger's holonomic ansatz for Pfaffians
@@ Property / cites work: Zeilberger's holonomic ansatz for Pfaffians / rank @@
+Normal rank
@@ Property / cites work @@
+Non-commutative Gröbner bases in algebras of solvable type
+Normal rank
@@ Property / cites work @@
+Summation algorithms for Stirling number identities
+Normal rank
@@ Property / cites work @@
+The Holonomic Toolkit
@@ Property / cites work: The Holonomic Toolkit / rank @@
+Normal rank
@@ Property / cites work @@
+The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
+Normal rank
@@ Property / cites work @@
+Automated proofs for some Stirling number identities
+Normal rank
@@ Property / cites work @@
+Algorithms for \(m\)-fold hypergeometric summation
+Normal rank
@@ Property / cites work @@
+REDUCE package for the indefinite and definite summation
+Normal rank
@@ Property / cites work @@
+Q4382877
@@ Property / cites work: Q4382877 / rank @@
+Normal rank
@@ Property / cites work @@
+Representations of orthogonal polynomials
@@ Property / cites work: Representations of orthogonal polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+On Zeilberger's algorithm and its \(q\)-analogue
@@ Property / cites work: On Zeilberger's algorithm and its \(q\)-analogue / rank @@
+Normal rank
@@ Property / cites work @@
+Identities of nonterminating series by Zeilberger's algorithm
+Normal rank
@@ Property / cites work @@
+Advanced applications of the holonomic systems approach
+Normal rank
@@ Property / cites work @@
+Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem
+Normal rank
@@ Property / cites work @@
+A fast approach to creative telescoping
@@ Property / cites work: A fast approach to creative telescoping / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice Green functions of the higher-dimensional face-centered cubic lattices
+Normal rank
@@ Property / cites work @@
+Q2894192
@@ Property / cites work: Q2894192 / rank @@
+Normal rank
@@ Property / cites work @@
+Advanced computer algebra for determinants
@@ Property / cites work: Advanced computer algebra for determinants / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of George Andrews’s and David Robbins’s             <i>q</i>             -TSPP conjecture
+Normal rank
@@ Property / cites work @@
+Computer Algebra Meets Finite Elements: An Efficient Implementation for Maxwell’s Equations
+Normal rank
@@ Property / cites work @@
+A computer proof of a series evaluation in terms of harmonic numbers
+Normal rank
@@ Property / cites work @@
+WZ-style certification and sister celine's technique for abel-type sums
+Normal rank
@@ Property / cites work @@
+Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
+Normal rank
@@ Property / cites work @@
+Theory of non-commutative polynomials
@@ Property / cites work: Theory of non-commutative polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type
+Normal rank
@@ Property / cites work @@
+Q4341407
@@ Property / cites work: Q4341407 / rank @@
+Normal rank
@@ Property / cites work @@
+A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
+Normal rank
@@ Property / cites work @@
+Relativistic Coulomb Integrals and Zeilberger’s Holonomic Systems Approach. I
+Normal rank
@@ Property / cites work @@
+Q4875364
@@ Property / cites work: Q4875364 / rank @@
+Normal rank
@@ Property / cites work @@
+Descendants in heap ordered trees or a triumph of computer algebra
+Normal rank
@@ Property / cites work @@
+Q4460867
@@ Property / cites work: Q4460867 / rank @@
+Normal rank
@@ Property / cites work @@
+\texttt{qMultiSum} -- a package for proving \(q\)-hypergeometric multiple summation identities
+Normal rank
@@ Property / cites work @@
+Simplifying Multiple Sums in Difference Fields
@@ Property / cites work: Simplifying Multiple Sums in Difference Fields / rank @@
+Normal rank
@@ Property / cites work @@
+A concise formula for generalized two-qubit Hilbert–Schmidt separability probabilities
+Normal rank
@@ Property / cites work @@
+Binomial identities -- combinatorial and algorithmic aspects
+Normal rank
@@ Property / cites work @@
+MultInt, a MAPLE package for multiple integration by the WZ method
+Normal rank
@@ Property / cites work @@
+A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
+Normal rank
@@ Property / cites work @@
+An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)'') multisum/integral identities
+Normal rank
@@ Property / cites work @@
+A two-line algorithm for proving terminating hypergeometric identities
+Normal rank
@@ Property / cites work @@
+A two-line algorithm for proving \(q\)-hypergeometric identities
+Normal rank
@@ Property / cites work @@
+A fast algorithm for proving terminating hypergeometric identities
+Normal rank
@@ Property / cites work @@
+A holonomic systems approach to special functions identities
+Normal rank
@@ Property / cites work @@
+The method of creative telescoping
@@ Property / cites work: The method of creative telescoping / rank @@
+Normal rank
@@ Property / cites work @@
+The holonomic ansatz. II: Automatic discovery(!) and proof(!!) of holonomic determinant evaluations
+Normal rank
@@ Property / cites work @@
+Recurrence and Pólya Number of General One-Dimensional Random Walks
+Normal rank
@@ Property / cites work @@
+An Apéry-like difference equation for Catalan's constant
+Normal rank
@@ Property / cites work @@
+Q3645802
@@ Property / cites work: Q3645802 / rank @@
+Normal rank