On implicit and inverse function theorems on Euclidean spaces

DOI10.2478/FORMA-2022-0012MaRDI QIDQ6489408zbMATH OpenWikidataFDO

Authors Kazuhisa Nakasho, Yasunari Shidama

Publication date 22 April 2024

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

Full work available at URL https://doi.org/10.2478/FORMA-2022-0012

zbMATH Keywords

continuously differentiable functionimplicit function theoreminverse function theorem

Mathematics Subject Classification ID

Implicit function theorems, Jacobians, transformations with several variables (26B10) Abstract inverse mapping and implicit function theorems involving nonlinear operators (47J07) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Inverse function theorem. I
• Implicit function theorem. I
• Implicit function theorem. II
• The implicit and inverse function theorems: easy proofs
• scientific article; zbMATH DE number 4107464

Cites work

• Cartesian products of family of real linear spaces
• scientific article; zbMATH DE number 3678487 (Why is no real title available?)
• scientific article; zbMATH DE number 1199721 (Why is no real title available?)
• Implicit function theorem. I
• Implicit function theorem. II
• Inverse function theorem. I
• Mizar: state-of-the-art and beyond
• Real vector space and related notions
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(2)

• Higher-order differentiation and inverse function theorem in real normed spaces
• Differentiability properties of Lipschitzian bilinear operators in real normed spaces

This page was built for publication: On implicit and inverse function theorems on Euclidean spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6489408)