Results

**1 - 1**of**1**### Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis

"... Abstract. 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. 1 ..."

Abstract
- Add to MetaCart

(Show Context)
Abstract. 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. 1