Bounds for D-finite closure properties

DOI10.1145/2608628.2608634zbMath1325.68290arXiv1408.5514OpenAlexW2017481370MaRDI QIDQ3452407

Manuel Kauers

Publication date: 11 November 2015

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

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

zbMATH Keywords

holonomic functionsOre operators

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Ordinary and skew polynomial rings and semigroup rings (16S36) Computational aspects of associative rings (general theory) (16Z05)

Related Items (3)

Order bounds for C2-finite sequences ⋮ Minimization of differential equations and algebraic values of 𝐸-functions ⋮ A comparison of algorithms for proving positivity of linearly recurrent sequences

Uses Software

• gfun
• HolonomicFunctions
• Jordan

Cites Work

• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• Cylindrical algebraic decomposition using validated numerics
• The Jordan Curve Theorem, Formally and Informally
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Definability and decision problems in arithmetic
• Unnamed Item
• Unnamed Item

This page was built for publication: Bounds for D-finite closure properties