Skip to main content
Have a personal or library account? Click to login
On Implicit and Inverse Function Theorems on Euclidean Spaces Cover

On Implicit and Inverse Function Theorems on Euclidean Spaces

Formalized Mathematics
Volume 30 (2022): Issue 3 (October 2022)
By: Kazuhisa Nakasho and  Yasunari Shidama  
Open Access
|Dec 2022
Authors

Authors

Kazuhisa Nakasho

Yamaguchi University, Yamaguchi, Japan

Yasunari Shidama

Nagano, Japan
DOI: https://doi.org/10.2478/forma-2022-0012 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 159 - 168
Accepted on: Sep 30, 2022
Published on: Dec 30, 2022
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
implicit function theorem,
inverse function theorem,
continuously differentiable function
Related subjects:
Computer sciences,
Computer sciences, other,
Mathematics,
General mathematics

© 2022 Kazuhisa Nakasho, Yasunari Shidama, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 License.

Volume 30 (2022): Issue 3 (October 2022)
Next article