Transforming Linear Functional Systems into Fully Integrable Systems.

Ziming Li,Min Wu
DOI: https://doi.org/10.1016/j.jsc.2011.12.028
IF: 0.97
2011-01-01
Journal of Symbolic Computation
Abstract:A linear (partial) functional system consists of linear partial differential, difference equations or any mixture thereof. We present an algorithm that determines whether linear functional systems are ∂-finite, and transforms ∂-finite systems to fully integrable ones. The algorithm avoids using Gröbner bases in Laurent–Ore modules when ∂-finite systems correspond to finite-dimensional Ore modules.
What problem does this paper attempt to address?