Computing Uniform Bounds

DOI10.1016/S1571-0661(04)80375-XzbMath1261.03162MaRDI QIDQ4916180

Vasco Brattka

Publication date: 19 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)

Cites Work

• Effective properties of sets and functions in metric spaces with computability structure
• Computability structure of the Sobolev spaces and its applications
• Effective content of the calculus of variations. I: Semi-continuity and the chattering lemma
• IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?
• On the definitions of computable real continuous functions
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item