Connexion
S'inscrire
RĂ©initialiser le mot de passe
Publier & Distribuer
Solutions d'Ă©dition
Solutions de distribution
ThĂšmes
Architecture et design
Arts
Business et Ă©conomie
Chimie
Chimie industrielle
Droit
GĂ©osciences
Histoire
Informatique
Ingénierie
IntĂ©rĂȘt gĂ©nĂ©ral
Linguistique et sémiotique
Littérature
Mathématiques
Musique
MĂ©decine
Pharmacie
Philosophie
Physique
Sciences bibliothécaires et de l'information, études du livre
Sciences des matériaux
Sciences du vivant
Sciences sociales
Sport et loisirs
Théologie et religion
Ătudes classiques et du Proche-Orient ancient
Ătudes culturelles
Ătudes juives
Publications
Journaux
Livres
Comptes-rendus
Ăditeurs
Blog
Contact
Chercher
EUR
USD
GBP
Français
English
Deutsch
Polski
Español
Français
Italiano
Panier
Home
Journaux
Formalized Mathematics
Ădition 29 (2021): Edition 1 (April 2021)
AccĂšs libre
Inverse Function Theorem. Part I
1
Kazuhisa Nakasho
Kazuhisa Nakasho
 etÂ
Yuichi Futa
Yuichi Futa
 Â
| 26 août 2021
Formalized Mathematics
Ădition 29 (2021): Edition 1 (April 2021)
Ă propos de cet article
Article précédent
Article suivant
Résumé
Références
Auteurs
Articles dans cette Ă©dition
Aperçu
PDF
Citez
Partagez
Publié en ligne:
26 août 2021
Pages:
9 - 19
Accepté:
30 mars 2021
DOI:
https://doi.org/10.2478/forma-2021-0002
Mots clés
inverse function theorem
,
Lipschitz continuity
,
differentiability
,
implicit function
,
inverse function
© 2021 Kazuhisa Nakasho et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.
Kazuhisa Nakasho
Yamaguchi University,
Yamaguchi, Japan
Yuichi Futa
Tokyo University of Technology Tokyo,
Japan