Generators for the \(C^m\)-closures of ideals (Q2031505)

The authors exibit an algorithm to compute generators for \(C^m\)-closure of real polynomials \((A_1,\cdots,A_M)\) which is the ideal of all real polynomials \(f\) expressible in the form \(f=F_1A_1+\cdots+F_MA_M\) with each \(F_i\in C^m(\mathbb{R}^n)\). To compute these genarators, they study differential operators \(L\) acting on vector of functions and introduce an \(R\)-module \(M(L)\). Finding an algorithm to compute the generators for \(M(L)\), they compute the generators for the \(C^m\)-Closures of ideals.