Approaches to Effective Semi-Continuity of Real Functions
暂无分享,去创建一个
[1] Klaus Weihrauch. A Foundation for Computable Analysis , 1997, SOFSEM.
[2] Klaus Weihrauch,et al. Computability on Continuou, Lower Semi-continuous and Upper Semi-continuous Real Functions , 1997, COCOON.
[3] Vasco Brattka. Computable Invariance , 1996, Theor. Comput. Sci..
[4] Klaus Weihrauch,et al. Effectiveness of the Global Modulus of Continuity on Metric Spaces , 1997, Category Theory and Computer Science.
[5] A. Grzegorczyk. On the definitions of computable real continuous functions , 1957 .
[6] Klaus Weihrauch,et al. A Finite Hierarchy of the Recursively Enumerable Real Numbers , 1998, MFCS.
[7] Klaus Weihrauch,et al. Computability on continuous, lower semi-continuous and upper semi-continuous real functions , 2000, Theor. Comput. Sci..
[8] Anil Nerode,et al. Effective Content of the Calculus of Variations I: Semi-Continuity and the Chattering Lemma , 1996, Ann. Pure Appl. Log..
[9] Qing Zhou,et al. Computable Real-Valued Functions on Recursive Open and Closed Subsets of Euclidean Space , 1996, Math. Log. Q..