Ning Zhong Computable Analysis of a Boundary-Value Problem for the Korteweg-de Vries Equation. 155-175 2007 41 Theory Comput. Syst. 1 http://dx.doi.org/10.1007/s00224-006-1335-6 db/journals/mst/mst41.html#Zhong07