Computing uniform bounds

DOI10.1016/S1571-0661(04)80375-XMaRDI QIDQ4916180zbMATH OpenFDO

Authors Vasco Brattka

Publication date 19 April 2013

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

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80375-X

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5064948
• The uniform boundedness theorem and a boundedness principle
• The Effective Sequence of Uniformities and its Limit as a Methodology in Computable Analysis
• On computable compact operators on Banach spaces
• A computable version of Banach's inverse mapping theorem

Cites work

• Computability structure of the Sobolev spaces and its applications
• Effective content of the calculus of variations. I: Semi-continuity and the chattering lemma
• Effective properties of sets and functions in metric spaces with computability structure
• scientific article; zbMATH DE number 3145228 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 52121 (Why is no real title available?)
• scientific article; zbMATH DE number 1347865 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 1746050 (Why is no real title available?)
• scientific article; zbMATH DE number 1834650 (Why is no real title available?)
• scientific article; zbMATH DE number 3197471 (Why is no real title available?)
• scientific article; zbMATH DE number 3110188 (Why is no real title available?)
• IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On the definitions of computable real continuous functions
• Some notes on Fine computability

Cited in

(1)

• Computing Bounds on Expectations

This page was built for publication: Computing uniform bounds

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