Sciweavers

CCA
2009
Springer

Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis

14 years 6 months ago
Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis
We extract a quantitative variant of uniqueness from the usual hypotheses of the implicit functions theorem. This leads not only to an a priori proof of continuity, but also to an alternative, fully constructive existence proof.
Hannes Diener, Peter Schuster
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where CCA
Authors Hannes Diener, Peter Schuster
Comments (0)