Univariate Contraction and Multivariate Desingularization of Ore Ideals

Yi Zhang

Ore operators with polynomial coefficients form a common algebraic abstraction for representing D-finite functions. They form the Ore ring $K(x)[D_x]$, where $K$ is the constant fi…