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]
No references recorded for this publication.
No citations of this publication recorded.