On the extraction of computational content from noneffective convergence proofs in analysisPavol SafarikAgotadoNotifícame
