In mathematics and computer science, computable analysis is the study of mathematical analysis from the perspective of computability theory. It isâ€¦Â (More)

(More)

Semantic Scholar uses AI to extract papers important to this topic.

2015

2015

One of the main goals of computable analysis is that of formalizing the complexity of theorems from real analysis. In thisâ€¦Â (More)

Is this relevant?

2010

2010

- JÃ©rÃ´me Olivier Durand-Lose
- Natural Computing
- 2010

Extended Signal machines are proven capable to compute any computable function in the understanding of recursive/computableâ€¦Â (More)

Is this relevant?

2009

2009

- Klaus Weihrauch, Wei Wei, WK KW Mue, Mue WK Wei, Wei Wei
- 2009

1 1 Introduction During the last 60 years an extensive theory of computability and computational complexity has been developedâ€¦Â (More)

Is this relevant?

Highly Cited

2009

Highly Cited

2009

- Vasco Brattka, Guido Gherardi
- CCA
- 2009

In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, weâ€¦Â (More)

Is this relevant?

2009

2009

Geometrical Computation andÂ

Is this relevant?

2007

2007

- ALEC MATHESON, Timothy H. McNicholl
- 2007

We show that if a Blaschke product defines a computable function, then it has a computable sequence of zeros in which the numberâ€¦Â (More)

Is this relevant?

2006

2006

- Branimir Lambov
- J. Complexity
- 2006

We give a correspondence between two notions of complexity for real numbers and functions: poly-time computability according toâ€¦Â (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- Klaus Weihrauch
- Texts in Theoretical Computer Science. An EATCSâ€¦
- 2000

Â

Is this relevant?

1999

1999

- Douglas A. Cenzer, Jeffrey B. Remmel
- Theor. Comput. Sci.
- 1999

II: classes in a space X where X equals (0, l}â€œ, ww, [O,l], or the real line W are given an effective enumeration P,J and theâ€¦Â (More)

Is this relevant?

1996

1996

- Vasco Brattka
- COCOON
- 1996

In Computable Analysis each computable function is continuous and computably invariant , i.e. it maps computable points toâ€¦Â (More)

Is this relevant?