Skip to search formSkip to main contentSkip to account menu

Computable real function

In mathematical logic, specifically computability theory, a function is sequentially computable if, for every computable sequence of real numbers… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Computable analysisDefinitionPrimitive recursive function

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
2005 Summer Meeting of the Association for Symbolic Logic Logic Colloquium '05 Abstracts of Invited Plenary Talks Abstract of Invited Talk in the Short Course on Computer Science Logic
s of invited plenary talks ◮ JAN A. BERGSTRA, INGE BETHKE, AND ALBAN PONSE, Decision problems for pushdown threads. Department of… 
2009
2009
Points on Computable Curves of Computable Lengths
A computable plane curve is defined as the image of a computable real function from a closed interval to the real plane. As it is… 
2006
2006
Revising Type-2 Computation and Degrees of Discontinuity
Highly Cited
2005
Highly Cited
2005
Computing over the Reals: Foundations for Scientific Computing
We give a detailed treatment of the ``bit-model'' of computability and complexity of real functions and subsets of R^n, and argue… 
2005
2005
Real Hypercomputation and Continuity
By the sometimes so-called Main Theorem of Recursive Analysis, every computable real function is necessarily continuous. We… 
2002
2002
Uniform computational complexity of the derivatives of Cinfinity-functions
2002
2002
Effectively Absolute Continuity and Effective Jordan Decomposability
1986
1986
On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis
Review
1982
Review
1982
Computational Complexity of Real Functions
1982
1982
The Maximum Value Problem and NP Real Numbers
  • K. Ko
  • Journal of computer and system sciences (Print)
  • 1982
  • Corpus ID: 21848101
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)