Uniqueness, continuity and the existence of implicit functions in constructive analysis

DOI10.1112/S1461157010000057MaRDI QIDQ3092479zbMATH OpenOpenAlexWikidataFDO

Authors Hannes Diener, Peter Schuster

Publication date 16 September 2011

Published in LMS Journal of Computation and Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1112/s1461157010000057

zbMATH Keywords

constructive analysiscontinuityimplicit function theorem

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive real analysis (26E40)

Recommendations

• Uniqueness, continuity, and existence of implicit functions in constructive analysis
• Implicit function theorem. I
• Implicit function theorem. II
• scientific article; zbMATH DE number 4086319
• A uniformly computable Implicit Function Theorem

Cited in

(6)

• On global implicit function theorem
• Implicit function theorem. I
• Implicit function theorem. II
• Uniqueness, continuity, and existence of implicit functions in constructive analysis
• A uniformly computable Implicit Function Theorem
• scientific article; zbMATH DE number 3557762 (Why is no real title available?)

This page was built for publication: Uniqueness, continuity and the existence of implicit functions in constructive analysis

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