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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
We provide a self-contained introduction into Weihrauch complexity and its applications to computable analysis. This includes a… 
Highly Cited
2014
Highly Cited
2014
  • K. Weihrauch
  • Texts in Theoretical Computer Science. An EATCS…
  • 2014
  • Corpus ID: 1336530
Merging fundamental concepts of analysis and recursion theory to a new exciting theory, this book provides a solid fundament for… 
Highly Cited
2011
Highly Cited
2011
Highly Cited
2009
Highly Cited
2009
Abstract In this paper we study a new approach to classify mathematical theorems according to their computational content… 
Highly Cited
2005
Highly Cited
2005
  • K. Weihrauch
  • Conference on Computability in Europe
  • 2005
  • Corpus ID: 36786537
One day, you will discover a new adventure and knowledge by spending more money. But when? Do you think that you need to obtain… 
Highly Cited
2005
Highly Cited
2005
Highly Cited
2003
Highly Cited
2003
Highly Cited
2000
Highly Cited
2000
In this dissertation, I explore aspects of computable analysis and topology in the framework of relative realizability. The… 
Highly Cited
1985
Highly Cited
1985
  • K. Weihrauch
  • Theoretical Computer Science
  • 1985
  • Corpus ID: 19276166