Checking existence of solutions of partial differential equations in the fields of Laurent series
S. V. Paramonov · Programming and Computer Software · 2014
It is proved that the problem of checking the existence of solutions of linear partial differential equations with polynomial coefficients is algorithmically undecidable. Decidability of the problem of checking the existence of monomial solutions with real and complex exponents is established.