Ning Zhong. Computable Analysis of a Non-homogeneous Boundary-Value Problem for the Korteweg-de Vries Equation. In S. Barry Cooper, Benedikt Löwe, Leen Torenvliet, editors, New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings. Volume 3526 of Lecture Notes in Computer Science, pages 552-561, Springer, 2005. [doi]
Abstract is missing.