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

Hannes Diener, Peter Schuster 0001. Uniqueness, continuity and the existence of implicit functions in constructive analysis. LMS J. Comput. Math., 14:127-136, 2011. [doi]

Abstract

Abstract is missing.