Some open problems related to creative telescoping
From MaRDI portal
Publication:2402228
DOI10.1007/s11424-017-6202-9zbMath1420.68242arXiv1609.03768MaRDI QIDQ2402228
Publication date: 6 September 2017
Published in: Journal of Systems Science and Complexity (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1609.03768
computer algebra; symbolic integration; linear operators; differential algebra; creative telescoping; symbolic summation; Ore algebras
68W30: Symbolic computation and algebraic computation
33F10: Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.)
Related Items
No-neighbours recurrence schemes for space-time Green’s functions on a 3D simple cubic lattice, On Christol’s conjecture, Telescopers for differential forms with one parameter, \(q\)-rational reduction and \(q\)-analogues of series for \(\pi\), On the existence of telescopers for rational functions in three variables, Preface -- Special issue to celebrate the 30th anniversary of Journal of Systems Science and Complexity, An algorithmic approach to the \(q\)-summability problem of bivariate rational functions, Constructing reductions for creative telescoping. The general differentially finite case, Recurrences for Callan's generalization of Narayana polynomials, The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients, The log-concavity of Kazhdan-Lusztig polynomials of uniform matroids
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec
- On integro-differential algebras.
- On the summability of bivariate rational functions
- Trading order for degree in creative telescoping
- Residues and telescopers for bivariate rational functions
- On the existence of telescopers for mixed hypergeometric terms
- A fast approach to creative telescoping
- Involutive characteristic sets of algebraic partial differential equation systems
- The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
- Explicit formula for the generating series of diagonal 3D rook paths
- The computational challenge of enumerating high-dimensional rook walks
- The method of differentiating under the integral sign
- A definite summation of hypergeometric terms of special kind
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
- Desingularization of Ore operators
- A fast algorithm for proving terminating hypergeometric identities
- Solving and factoring boundary problems for linear ordinary differential equations in differential algebras
- A refined difference field theory for symbolic summation
- Extended Zeilberger's algorithm for identities on Bernoulli and Euler polynomials
- Theory of summation in finite terms
- The diagonal of a D-finite power series is D-finite
- A holonomic systems approach to special functions identities
- The method of creative telescoping
- Hypergeometric solutions of linear recurrences with polynomial coefficients
- A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
- Non-commutative elimination in Ore algebras proves multivariate identities
- Solving difference equations in finite terms
- Gröbner bases and involutive methods for algebraic and differential equations
- Galois theory of difference equations
- When does Zeilberger's algorithm succeed?
- The Ehrhart polynomial of the Birkhoff polytope
- Factorization-free decomposition algorithms in differential algebra
- A criterion for the applicability of Zeilberger's algorithm to rational functions
- Symbolic integration I: Transcendental functions
- An extension of Zeilberger's fast algorithm to general holonomic functions
- On the zeta function of a hypersurface. II
- On the length of integers in telescopers for proper hypergeometric terms
- An algorithm for deciding the summability of bivariate rational functions
- Apparent singularities of linear difference equations with polynomial coefficients
- Applicability of the \(q\)-analogue of Zeilberger's algorithm
- Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
- Summation algorithms for Stirling number identities
- On the zeta function of a hypersurface. I
- On the periods of certain rational integrals. I, II
- On the order of the recurrence produced by the method of creative telescoping
- A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms
- Computing Hypergeometric Solutions of Second Order Linear Differential Equations using Quotients of Formal Solutions
- Intersection theory in differential algebraic geometry: Generic intersections and the differential Chow form
- A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)
- A non-holonomic systems approach to special function identities
- A skew polynomial approach to integro-differential operators
- Finding all bessel type solutions for linear differential equations with rational function coefficients
- Complexity of creative telescoping for bivariate rational functions
- Solving recurrence relations using local invariants
- Hermite reduction and creative telescoping for hyperexponential functions
- Creative telescoping for rational functions using the griffiths
- Desingularization explains order-degree curves for ore operators
- Second order differential equations with hypergeometric solutions of degree three
- Symbolic Summation in Difference Rings and Applications
- Efficient Algorithms for Mixed Creative Telscoping
- Existence Problem of Telescopers
- Reduction-Based Creative Telescoping for Algebraic Functions
- New Bounds for Hypergeometric Creative Telescoping
- Computing the Continuous Discretely
- A generalized Apagodu-Zeilberger algorithm
- Rational Functions Certify Combinatorial Identities
- Summation in Finite Terms
- Decision procedure for indefinite hypergeometric summation
- How To Do Monthly Problems With Your Computer
- Sur les périodes des intégrales doubles et sur une classe d'équations différentielles linéaires
- WZ-style certification and sister celine's technique for abel-type sums
- Proof of George Andrews’s and David Robbins’s q -TSPP conjecture
- Counting quadrant walks via Tutte's invariant method
- Order-degree curves for hypergeometric creative telescoping
- Simplifying Multiple Sums in Difference Fields
- Gosper's algorithm, accurate summation, and the discrete Newton-Leibniz formula
- Finding telescopers with minimal depth for indefinite nested sum and product expressions
- Integro-differential polynomials and operators
- The Problem of Integration in Finite Terms
- The solution of the problem of integration in finite terms
- The Dynamic Dictionary of Mathematical Functions (DDMF)
- A Note on Pure Recurrence Relations
