scientific article; zbMATH DE number 1499089
From MaRDI portal
Publication:4501143
zbMath0947.03079MaRDI QIDQ4501143
Publication date: 3 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Theory of numerations, effectively presented structures (03D45) General convexity (52A99)
Related Items
Effective content of the calculus of variations. I: Semi-continuity and the chattering lemma ⋮ Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra ⋮ Singular coverings and non‐uniform notions of closed set computability ⋮ Singular Coverings and Non-Uniform Notions of Closed Set Computability ⋮ Computability in linear algebra ⋮ Computability on subsets of Euclidean space. I: Closed and compact subsets ⋮ An effective Riemann Mapping Theorem ⋮ Decidability in analysis