Implicit function theorem. I

DOI10.1515/forma-2017-0026zbMath1401.26024OpenAlexW2795279031MaRDI QIDQ1795561

Kazuhisa Nakasho, Yasunari Shidama, Yuichi Futa

Publication date: 16 October 2018

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2017-0026

zbMATH Keywords

Lipschitz continuityimplicit function theoremBanach fixed point theorem

Mathematics Subject Classification ID

Fixed-point theorems (47H10) Mechanization of proofs and logical operations (03B35) Implicit function theorems, Jacobians, transformations with several variables (26B10)

Related Items (5)

Inverse function theorem. I ⋮ Continuity of multilinear operator on normed linear spaces ⋮ Continuity of bounded linear operators on normed linear spaces ⋮ Invertible operators on Banach spaces ⋮ Implicit function theorem. II

Uses Software

• Mizar

Cites Work

• Four decades of {\textsc{Mizar}}. Foreword
• Banach’s Continuous Inverse Theorem and Closed Graph Theorem
• Cartesian Products of Family of Real Linear Spaces
• Mizar: State-of-the-art and Beyond
• Unnamed Item
• Unnamed Item

This page was built for publication: Implicit function theorem. I