Complexity of creative telescoping for bivariate rational functions

DOI10.1145/1837934.1837975zbMath1321.68524arXiv1301.5045OpenAlexW2068632663MaRDI QIDQ2946539

Alin Bostan, Shaoshi Chen, Ziming Li, Frédéric Chyzak

Publication date: 17 September 2015

Published in: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1301.5045

zbMATH Keywords

creative telescopingHermite reduction

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items (18)

Efficient rational creative telescoping ⋮ Algebraic diagonals and walks: algorithms, bounds, complexity ⋮ Constructing minimal telescopers for rational functions in three discrete variables ⋮ Some open problems related to creative telescoping ⋮ Reduction-based creative telescoping for Fuchsian D-finite functions ⋮ Constructing reductions for creative telescoping. The general differentially finite case ⋮ Beating binary powering for polynomial matrices ⋮ Hermite Reduction for D-finite Functions via Integral Bases ⋮ Trading order for degree in creative telescoping ⋮ Polynomial reduction for holonomic sequences and applications in \(\pi\)-series and congruences ⋮ Telescopers for differential forms with one parameter ⋮ Minimization of differential equations and algebraic values of 𝐸-functions ⋮ On the existence of telescopers for rational functions in three variables ⋮ On differentially algebraic generating series for walks in the quarter plane ⋮ On the length of integers in telescopers for proper hypergeometric terms ⋮ Computing periods of rational integrals ⋮ Creative Telescoping for Holonomic Functions ⋮ Linear differential equations as a data structure

Uses Software

• DIFFALG
• AIDA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Differential algebra for derivations with nontrivial commutation rules
• Generating differential invariants
• Projective-type differential invariants and geometric curve evolutions of KdV-type in flat homogeneous manifolds
• Smooth and algebraic invariants of a group action: Local and global constructions
• Differential invariants of a Lie group action: syzygies on a generating set
• Invariants différentiels d'un pseudogroupe de Lie. I
• Invariants différentiels d'un pseudogroupe de Lie. II
• Higher order contact of submanifolds of homogeneous spaces
• Moving coframes. II: Regularization and theoretical foundations
• Rational invariants of a group action. Construction and rewriting
• Differential invariants of conformal and projective surfaces

This page was built for publication: Complexity of creative telescoping for bivariate rational functions