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

First Author: Diener H
Attributed to:  WORKSHOP: LEEDS SYMPOSIUM ON PROOF THEORY & CONSTRUCTIVISM funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1112/s1461157010000057

Publication URI: http://journals.cambridge.org/download.php?file=%2FJCM%2FJCM14%2FS1461157010000057a.pdf&code=2282335e9ab21527e6bbfbf916a408e1

Type: Journal Article/Review

Parent Publication: LMS Journal of Computation and Mathematics