Computability results used in differential geometry

Barbara F. Csima, Robert I. Soare. Computability results used in differential geometry. Journal of Symbolic Logic, 71(4):1394-1410, 2006. [doi]

Abstract

Abstract is missing.