scientific article; zbMATH DE number 1405673
From MaRDI portal
Publication:4938654
zbMath0945.03092MaRDI QIDQ4938654
Publication date: 2 May 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sobolev spaceswave propagationcomputabilitycomputable analysisphysical modelType-2 theory of effectivityTuring's thesissolution operator of the Cauchy problem
Constructive and recursive analysis (03F60) Wave equation (35L05) Applications of computability and recursion theory (03D80) Turing machines and related notions (03D10)
Related Items (4)
A uniformly computable Implicit Function Theorem ⋮ Computability and the Implicit Function Theorem ⋮ Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics ⋮ Computability of Differential Equations
This page was built for publication: