On the extraction of computational content from noneffective convergence proofs in analysisPavol SafarikUitverkochtHou mij op de hoogte
