Skip to search formSkip to main contentSkip to account menu

Computable analysis

In mathematics and computer science, computable analysis is the study of mathematical analysis from the perspective of computability theory. It is… 
Wikipedia (opens in a new tab)

Related topics

Related topics

11 relations
AlgorithmComputable measure theoryComputable numberComputable real function

Broader (1)

Computability theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Computable versions of the uniform boundedness theorem
We investigate the computable content of the Uniform Boundedness Theorem and of the closely related Banach-Steinhaus Theorem. The… 
2014
2014
Computability and Complexity over the Product Topology of Real Numbers
Kawamura and Cook have developed a framework for studying the computability and complexity theoretic problems over "large… 
2008
2008
On the computability of binary social choice rules in an infinite society and the halting problem
2007
2007
Type two computability of social choice functions and the Gibbard-Satterthwaite theorem in an infinite society
2007
2007
The Uniformity Principle for Sigma -Definability with Applications to Computable Analysis
In this paper we prove the Uniformity Principle for Σ---definability over the real numbers extended by open predicates. Using… 
2005
2005
Investigation of Emotive Expressions of Spoken Sentences
When we meet a emotion keyword in a sentence that expresses a kind of emotion, or a word that does not directly express emotion… 
2003
2003
On the Effective Jordan Decomposability
The classical Jordan decomposition Theorem says that any real function of bounded variation can be expressed as a difference of… 
2000
2000
Computational Dimension of Topological Spaces
When a topological space X can be embedded into the space ?;?,n? of n?-sequences of ?, then we can define the corresponding… 
1998
1998
Point-Free Topological Spaces, Functions and Recursive Points: Filter Foundation for Recursive Analysis I
1983
1983
Recursivity in quantum mechanics
The techniques of effective descriptive set theory are applied to the mathematical formalism of quantum mechanics in order to see… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)