Some open problems related to creative telescoping (Q2402228): Difference between revisions

@@ Property / describes a project that uses @@
+ZEILBERGER
@@ Property / describes a project that uses: ZEILBERGER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DEtools
@@ Property / describes a project that uses: DEtools / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MultiZeilberger
@@ Property / describes a project that uses: MultiZeilberger / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+EvaluateMultiSums
@@ Property / describes a project that uses: EvaluateMultiSums / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Stirling
@@ Property / describes a project that uses: Stirling / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2560570554
@@ Property / OpenAlex ID: W2560570554 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03768
@@ Property / arXiv ID: 1609.03768 / rank @@
+Normal rank
@@ Property / cites work @@
+How To Do Monthly Problems With Your Computer
@@ Property / cites work: How To Do Monthly Problems With Your Computer / rank @@
+Normal rank
@@ Property / cites work @@
+The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
+Normal rank
@@ Property / cites work @@
+Symbolic Summation in Difference Rings and Applications
+Normal rank
@@ Property / cites work @@
+The Dynamic Dictionary of Mathematical Functions (DDMF)
+Normal rank
@@ Property / cites work @@
+Proof of George Andrews’s and David Robbins’s             <i>q</i>             -TSPP conjecture
+Normal rank
@@ Property / cites work @@
+Decision procedure for indefinite hypergeometric summation
+Normal rank
@@ Property / cites work @@
+Rational Functions Certify Combinatorial Identities
+Normal rank
@@ Property / cites work @@
+An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)'') multisum/integral 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 @@
+Finding all bessel type solutions for linear differential equations with rational function coefficients
+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 @@
+A holonomic systems approach to special functions identities
+Normal rank
@@ Property / cites work @@
+An extension of Zeilberger's fast algorithm to general holonomic functions
+Normal rank
@@ Property / cites work @@
+A refined difference field theory for symbolic summation
+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 Note on Pure Recurrence Relations
@@ Property / cites work: A Note on Pure Recurrence Relations / rank @@
+Normal rank
@@ Property / cites work @@
+WZ-style certification and sister celine's technique for abel-type sums
+Normal rank
@@ Property / cites work @@
+Non-commutative elimination in Ore algebras proves multivariate identities
+Normal rank
@@ Property / cites work @@
+A fast algorithm for proving terminating hypergeometric identities
+Normal rank
@@ Property / cites work @@
+The method of differentiating under the integral sign
+Normal rank
@@ Property / cites work @@
+Summation algorithms for Stirling number identities
+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 @@
+Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
+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 @@
+Trading order for degree in creative telescoping
@@ Property / cites work: Trading order for degree in creative telescoping / rank @@
+Normal rank
@@ Property / cites work @@
+Order-degree curves for hypergeometric creative telescoping
+Normal rank
@@ Property / cites work @@
+A generalized Apagodu-Zeilberger algorithm
@@ Property / cites work: A generalized Apagodu-Zeilberger algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of creative telescoping for bivariate rational functions
+Normal rank
@@ Property / cites work @@
+Hermite reduction and creative telescoping for hyperexponential functions
+Normal rank
@@ Property / cites work @@
+A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms
+Normal rank
@@ Property / cites work @@
+New Bounds for Hypergeometric Creative Telescoping
+Normal rank
@@ Property / cites work @@
+Reduction-Based Creative Telescoping for Algebraic Functions
+Normal rank
@@ Property / cites work @@
+Efficient Algorithms for Mixed Creative Telscoping
+Normal rank
@@ Property / cites work @@
+On the periods of certain rational integrals. I, II
+Normal rank
@@ Property / cites work @@
+Q5810622
@@ Property / cites work: Q5810622 / rank @@
+Normal rank
@@ Property / cites work @@
+On the length of integers in telescopers for proper hypergeometric terms
+Normal rank
@@ Property / cites work @@
+Desingularization explains order-degree curves for ore operators
+Normal rank
@@ Property / cites work @@
+Apparent singularities of linear difference equations with polynomial coefficients
+Normal rank
@@ Property / cites work @@
+Desingularization of Ore operators
@@ Property / cites work: Desingularization of Ore operators / rank @@
+Normal rank
@@ Property / cites work @@
+The Problem of Integration in Finite Terms
@@ Property / cites work: The Problem of Integration in Finite Terms / rank @@
+Normal rank
@@ Property / cites work @@
+The solution of the problem of integration in finite terms
+Normal rank
@@ Property / cites work @@
+Symbolic integration I: Transcendental functions
@@ Property / cites work: Symbolic integration I: Transcendental functions / rank @@
+Normal rank
@@ Property / cites work @@
+Summation in Finite Terms
@@ Property / cites work: Summation in Finite Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of summation in finite terms
@@ Property / cites work: Theory of summation in finite terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4660678
@@ Property / cites work: Q4660678 / rank @@
+Normal rank
@@ Property / cites work @@
+A criterion for the applicability of Zeilberger's algorithm to rational functions
+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 @@
+On the order of the recurrence produced by the method of creative telescoping
+Normal rank
@@ Property / cites work @@
+Applicability of the \(q\)-analogue of Zeilberger's algorithm
+Normal rank
@@ Property / cites work @@
+On the existence of telescopers for mixed hypergeometric terms
+Normal rank
@@ Property / cites work @@
+Finding telescopers with minimal depth for indefinite nested sum and product expressions
+Normal rank
@@ Property / cites work @@
+Residues and telescopers for bivariate rational functions
+Normal rank
@@ Property / cites work @@
+On the summability of bivariate rational functions
+Normal rank
@@ Property / cites work @@
+An algorithm for deciding the summability of bivariate rational functions
+Normal rank
@@ Property / cites work @@
+Existence Problem of Telescopers
@@ Property / cites work: Existence Problem of Telescopers / rank @@
+Normal rank
@@ Property / cites work @@
+Sur les périodes des intégrales doubles et sur une classe d'équations différentielles linéaires
+Normal rank
@@ Property / cites work @@
+On the zeta function of a hypersurface. I
@@ Property / cites work: On the zeta function of a hypersurface. I / rank @@
+Normal rank
@@ Property / cites work @@
+On the zeta function of a hypersurface. II
@@ Property / cites work: On the zeta function of a hypersurface. II / rank @@
+Normal rank
@@ Property / cites work @@
+Creative telescoping for rational functions using the griffiths
+Normal rank
@@ Property / cites work @@
+A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)
+Normal rank
@@ Property / cites work @@
+Gosper's algorithm, accurate summation, and the discrete Newton-Leibniz formula
+Normal rank
@@ Property / cites work @@
+A definite summation of hypergeometric terms of special kind
+Normal rank
@@ Property / cites work @@
+Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec
+Normal rank
@@ Property / cites work @@
+Integro-differential polynomials and operators
@@ Property / cites work: Integro-differential polynomials and operators / rank @@
+Normal rank
@@ Property / cites work @@
+Solving and factoring boundary problems for linear ordinary differential equations in differential algebras
+Normal rank
@@ Property / cites work @@
+A skew polynomial approach to integro-differential operators
+Normal rank
@@ Property / cites work @@
+On integro-differential algebras.
@@ Property / cites work: On integro-differential algebras. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3484966
@@ Property / cites work: Q3484966 / rank @@
+Normal rank
@@ Property / cites work @@
+Extended Zeilberger's algorithm for identities on Bernoulli and Euler polynomials
+Normal rank
@@ Property / cites work @@
+A non-holonomic systems approach to special function identities
+Normal rank
@@ Property / cites work @@
+Counting quadrant walks via Tutte's invariant method
+Normal rank
@@ Property / cites work @@
+Gröbner bases and involutive methods for algebraic and differential equations
+Normal rank
@@ Property / cites work @@
+Factorization-free decomposition algorithms in differential algebra
+Normal rank
@@ Property / cites work @@
+Involutive characteristic sets of algebraic partial differential equation systems
+Normal rank
@@ Property / cites work @@
+Intersection theory in differential algebraic geometry: Generic intersections and the differential Chow form
+Normal rank
@@ Property / cites work @@
+Hypergeometric solutions of linear recurrences with polynomial coefficients
+Normal rank
@@ Property / cites work @@
+Q4234305
@@ Property / cites work: Q4234305 / rank @@
+Normal rank
@@ Property / cites work @@
+Galois theory of difference equations
@@ Property / cites work: Galois theory of difference equations / rank @@
+Normal rank
@@ Property / cites work @@
+Solving difference equations in finite terms
@@ Property / cites work: Solving difference equations in finite terms / rank @@
+Normal rank
@@ Property / cites work @@
+Solving recurrence relations using local invariants
+Normal rank
@@ Property / cites work @@
+Second order differential equations with hypergeometric solutions of degree three
+Normal rank
@@ Property / cites work @@
+Computing Hypergeometric Solutions of Second Order Linear Differential Equations using Quotients of Formal Solutions
+Normal rank
@@ Property / cites work @@
+The computational challenge of enumerating high-dimensional rook walks
+Normal rank
@@ Property / cites work @@
+The diagonal of a D-finite power series is D-finite
+Normal rank
@@ Property / cites work @@
+Explicit formula for the generating series of diagonal 3D rook paths
+Normal rank
@@ Property / cites work @@
+The Ehrhart polynomial of the Birkhoff polytope
@@ Property / cites work: The Ehrhart polynomial of the Birkhoff polytope / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the Continuous Discretely
@@ Property / cites work: Computing the Continuous Discretely / rank @@
+Normal rank