Checking existence of solutions of partial differential equations in the fields of Laurent seriesстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 20 января 2015 г.
Аннотация: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.