100 citations · 328 across the 12 of their papers we have counts for
1 paper · 1 filter
Vasco Brattka, Guido Gherardi, Alberto Marcone
We classify the computational content of the Bolzano-Weierstrass Theorem and variants thereof in the Weihrauch lattice. For this purpose we first introduce the concept of a derivat…