A computable version of Banach's inverse mapping theorem
scientific article; zbMATH DE number 5532831
scientific article