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

DOI10.1016/J.JSC.2018.07.002MaRDI QIDQ2422706zbMATH OpenOpenAlexFDO

Authors 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

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)

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

Cites work

• scientific article; zbMATH DE number 1231230 (Why is no real title available?)
• scientific article; zbMATH DE number 1268810 (Why is no real title available?)
• scientific article; zbMATH DE number 1163416 (Why is no real title available?)
• scientific article; zbMATH DE number 3209360 (Why is no real title available?)
• scientific article; zbMATH DE number 3365595 (Why is no real title available?)
• Algorithmic arithmetics with DD-finite functions
• Differentiably finite power series
• Formal solutions and factorization of differential operators with power series coefficients
• GFUN
• Matrix Analysis
• On full rank differential systems with power series coefficients
• On the non-holonomic character of logarithms, powers, and the \(n\)th prime function
• Ore polynomials in Sage
• Regular solutions of linear differential systems with power series coefficients
• The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
• The holonomic toolkit

Cited in

(15)

• DD-finite functions in Sage
• Autonomous first order differential equations
• DD-Finite Functions Implemented in Sage
• Bounds for D-finite closure properties
• The six-vertex model on random planar maps revisited
• An extension of holonomic sequences: \(C^2\)-finite sequences
• D-algebraic functions
• Algorithmic arithmetics with DD-finite functions
• Some structural results on \(\mathrm{D}^n\)-finite functions
• D-finite numbers
• D-Finite Functions
• A sage implementation for DD-finite functions
• On the exponential generating function of labelled trees
• On \(C^2\)-finite sequences
• Simple differentially definable functions

Describes a project that uses

Uses Software

• DLMF
• 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)