Computable analysis: an introduction
Computable analysis: an introduction
Computability theory of generalized functions
Journal of the ACM (JACM)
Computing the solution of the Korteweg-de Vries equation with arbitrary precision on turing machines
Theoretical Computer Science
Hi-index | 0.00 |
This note is concerned with computability of the solution operator associated with the wave maker problem for the classical Korteweg-de Vries equation. The Korteweg-de Vries equation is one of several non-linear partial differential equations which have been most intensively studied in the past fifty years due to its physical and mathematical importance.