Computability structure of the Sobolev spaces and its applications

DOI10.1016/S0304-3975(98)00302-8MaRDI QIDQ1292420zbMATH OpenOpenAlexFDO

Authors Ning Zhong

Publication date 21 June 1999

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(98)00302-8

zbMATH Keywords

Sobolev spacescomputable continuous functionsecond-order hyperbolic and parabolic partial differential equations

Mathematics Subject Classification ID

Recommendations

• Computable sequences in the Sobolev spaces
• scientific article; zbMATH DE number 800363
• Computability theory of generalized functions
• A tutorial on computable analysis

Cites work

• scientific article; zbMATH DE number 3112803 (Why is no real title available?)
• scientific article; zbMATH DE number 3987247 (Why is no real title available?)
• scientific article; zbMATH DE number 3720907 (Why is no real title available?)
• scientific article; zbMATH DE number 3788601 (Why is no real title available?)
• scientific article; zbMATH DE number 52121 (Why is no real title available?)
• scientific article; zbMATH DE number 3491650 (Why is no real title available?)
• scientific article; zbMATH DE number 3536056 (Why is no real title available?)
• scientific article; zbMATH DE number 943183 (Why is no real title available?)
• scientific article; zbMATH DE number 3264298 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3187905 (Why is no real title available?)
• scientific article; zbMATH DE number 3064454 (Why is no real title available?)
• A polynomial-time computable curve whose interior has a nonrecursive measure
• A recursive function, defined on a compact interval and having a continuous derivative that is not recursive
• Computability and Noncomputability in Classical Analysis
• Computable Real‐Valued Functions on Recursive Open and Closed Subsets of Euclidean Space
• Computable functionals
• Computational complexity of fixed points and intersection points
• Computational complexity of real functions
• Derivatives of Computable Functions
• Effective content of the calculus of variations. I: Semi-continuity and the chattering lemma
• L p -Computability in Recursive Analysis
• On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
• On the Definition of Computable Function of a Real Variable
• On the computability of fractal dimensions and Hausdorff measure
• On the definitions of computable real continuous functions
• The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable

Cited in

(9)

• Computational complexity theory for advanced function spaces in analysis
• A note on the computability of Hilbert-Schmidt operator
• Computability of the Solutions to Navier-Stokes Equations via Effective Approximation
• Towards computability of elliptic boundary value problems in variational formulation
• Computable sequences in the Sobolev spaces
• Computability of Differential Equations
• Computing uniform bounds
• Computability theory of generalized functions
• Validated bounds on embedding constants for Sobolev space Banach algebras

This page was built for publication: Computability structure of the Sobolev spaces and its applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1292420)