Computability theory of generalized functions
From MaRDI portal
Publication:3452499
DOI10.1145/792538.792542zbMath1325.68092OpenAlexW1990962533MaRDI QIDQ3452499
Publication date: 12 November 2015
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/792538.792542
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (21)
Recursion and topology on \(2^{\leq\omega}\) for possibly infinite computations ⋮ Comparing representations for function spaces in computable analysis ⋮ Points on Computable Curves of Computable Lengths ⋮ Towards computability of elliptic boundary value problems in variational formulation ⋮ Computing Schrödinger propagators on type-2 Turing machines ⋮ Computational unsolvability of domains of attraction of nonlinear systems ⋮ Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra ⋮ The Solution Operator of the Korteweg-de Vries Equation is Computable ⋮ Complexity of Blowup Problems ⋮ Effectivity on Continuous Functions in Topological Spaces ⋮ Computable Analysis of the Abstract Cauchy Problem in a Banach Space and Its Applications (I) ⋮ Revising Type-2 Computation and Degrees of Discontinuity ⋮ On Computable Metrization ⋮ Computability in planar dynamical systems ⋮ Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing machines ⋮ Computability, noncomputability, and hyperbolic systems ⋮ On computably locally compact Hausdorff spaces ⋮ Computing geometric Lorenz attractors with arbitrary precision ⋮ Computable analysis of a boundary-value problem for the generalized KdV-Burgers equation ⋮ Computability of Differential Equations ⋮ Admissibly Represented Spaces and Qcb-Spaces
This page was built for publication: Computability theory of generalized functions
