Transforming linear functional systems into fully integrable systems
From MaRDI portal
Publication:413413
DOI10.1016/j.jsc.2011.12.028zbMath1252.68357MaRDI QIDQ413413
Publication date: 7 May 2012
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2011.12.028
localizations; (fully) integrable systems; Laurent-Ore modules; linear functional systems; Ore modules; reflexive closures
68W30: Symbolic computation and algebraic computation
13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
35A24: Methods of ordinary differential equations applied to PDEs
Uses Software