A class of globally univalent differentiable mappings
A counterexample to the strong real Jocobian conjecture.
A historical outline of the theorem of implicit functions.
A Jacobian condition for injectivity of differentiable plane maps
A note on global implicit function theorem.
A proof of the inverse function theorem
An implicit-function theorem for a class of monotone generalized equations
Approximations and error bounds for computing the inverse mapping
In this paper we propose a procedure to construct approximations of the inverse of a class of differentiable mappings. First of all we determine in terms of the data a neighbourhood where the inverse mapping is well defined. Then it is proved that the theoretical inverse can be expressed in terms of the solution of a differential equation depending on parameters. Finally, using one-step matrix methods we construct approximate inverse mappings of a prescribed accuracy.