Undecidability of the uniqueness testing problem for analytic solutions of PLDE with boundary conditions

Sergey Paramonov. Undecidability of the uniqueness testing problem for analytic solutions of PLDE with boundary conditions. ACM Comm. Computer Algebra, 49(1):27, 2015. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: