Аннотация:We consider linear partial differential equations with polynomial
coefficients and prove algorithmic undecidability of the following
problem: to test whether a given equation of considered form has
no more than one solution that is analytic on a domain and that
satisfies some fixed boundary conditions. It is assumed that a
polynomial which vanishes at each point of the domain boundary is
known.