You are about to access our book library "On the extraction of computational content from noneffective convergence proofs in analysis full version" .