The Nash-Moser inverse mapping theorem
Journées équations aux dérivées partielles (1983), article no. 11, 6 p. 
@article{JEDP_1983____A11_0,
     author = {Kuranishi, Masatake},
     title = {The {Nash-Moser} inverse mapping theorem},
     journal = {Journ\'ees \'equations aux d\'eriv\'ees partielles},
     eid = {11},
     pages = {1--6},
     publisher = {Ecole polytechnique},
     year = {1983},
     mrnumber = {719236},
     zbl = {0516.58009},
     language = {en},
     url = {http://archive.numdam.org/item/JEDP_1983____A11_0/}
}
TY  - JOUR
AU  - Kuranishi, Masatake
TI  - The Nash-Moser inverse mapping theorem
JO  - Journées équations aux dérivées partielles
PY  - 1983
SP  - 1
EP  - 6
PB  - Ecole polytechnique
UR  - http://archive.numdam.org/item/JEDP_1983____A11_0/
LA  - en
ID  - JEDP_1983____A11_0
ER  - 
%0 Journal Article
%A Kuranishi, Masatake
%T The Nash-Moser inverse mapping theorem
%J Journées équations aux dérivées partielles
%D 1983
%P 1-6
%I Ecole polytechnique
%U http://archive.numdam.org/item/JEDP_1983____A11_0/
%G en
%F JEDP_1983____A11_0
Kuranishi, Masatake. The Nash-Moser inverse mapping theorem. Journées équations aux dérivées partielles (1983), article  no. 11, 6 p. http://archive.numdam.org/item/JEDP_1983____A11_0/

[1] : R. Hamilton : “The inverse function theorem of Nash and Moser”. Bulletin of the Amer. Math. Soc., vol. 7, N° 1 (1982) 65-222. | MR | Zbl

[2] : M. Kuranishi : “Strongly pseudoconvex CR structures over small balls”. I. Ann. of Math. 115 (1982), 451-500, II. Ann. of Math. 116 (1982), 669-732, III. Ann. of Math. 116 (1982). | MR | Zbl

[3] : J. Moser : “A new technique for the construction of solution of non-linear differential equations”. Proc. Nat. Acad. Sci. 47, N° 11 (1961), 1824-1831. | MR | Zbl