A computable extension for D-finite functions: DD-finite functions

DOI10.1016/J.JSC.2018.07.002zbMATH Open1427.13034OpenAlexW2885969493MaRDI QIDQ2422706FDOQ2422706

Antonio Jiménez-Pastor, Veronika Pillwein

Publication date: 20 June 2019

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2018.07.002

Recommendations

• Algorithmic arithmetics with DD-finite functions
• Some structural results on \(\mathrm{D}^n\)-finite functions
• The diagonal of a D-finite power series is D-finite
• DD-finite functions in Sage
• Integral D-finite functions

zbMATH Keywords

formal power seriesclosure propertiesholonomic functions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Formal power series rings (13F25) Derivations and commutative rings (13N15) Analytical theory of ordinary differential equations: series, transformations, transforms, operational calculus, etc. (34A25)

Cites Work

• GFUN
• Ore Polynomials in Sage
• Matrix Analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Differentiably finite power series
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the non-holonomic character of logarithms, powers, and the \(n\)th prime function
• Title not available (Why is that?)
• The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
• On full rank differential systems with power series coefficients
• Formal solutions and factorization of differential operators with power series coefficients
• Regular solutions of linear differential systems with power series coefficients
• Algorithmic Arithmetics with DD-Finite Functions
• The Holonomic Toolkit

Cited In (10)

• An extension of holonomic sequences: \(C^2\)-finite sequences
• DD-Finite Functions Implemented in Sage
• Autonomous first order differential equations
• A sage implementation for DD-finite functions
• D-algebraic functions
• The six-vertex model on random planar maps revisited
• On \(C^2\)-finite sequences
• Simple differentially definable functions
• DD-finite functions in Sage
• On the exponential generating function of labelled trees

Uses Software

• Digital Library of Mathematical Functions
• gfun
• SageMath
• GeneratingFunctions
• ore_algebra

This page was built for publication: A computable extension for D-finite functions: DD-finite functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2422706)