S. V. Paramonov

Learn More
The problem of checking existence of infinitely differentiable solutions of linear partial differential equations with zero boundary conditions is considered. The coefficients of the equations are assumed to be polynomials over Z in independent variables. It is proved that this problem is algorithmically undecidable. This result extends results of our(More)
  • 1