A constructive version of Banach's inverse mapping theorem (1994)

by H Ishihara
Venue:New Zealand J. Math