100 citations · 264 across the 34 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…