101 citations · 688 across the 27 of their papers we have counts for
Showing 2012 · math.LOShow all
2 papers · 2 filters
math.LO2012★ 21 cited
Connected Choice and the Brouwer Fixed Point Theorem
Vasco Brattka, Stéphane Le Roux, Joseph S. Miller +1
We study the computational content of the Brouwer Fixed Point Theorem in the Weihrauch lattice. Connected choice is the operation that finds a point in a non-empty connected closed…
math.LO2012★ 73 cited
Computability and analysis: the legacy of Alan Turing
Jeremy Avigad, Vasco Brattka
We discuss the legacy of Alan Turing and his impact on computability and analysis.