Revista Integración
ISSN 0120-419X
PARRA, CARLOS MARIO SUAREZ RAMIREZ, JOHANY. Representación finita de variedades compactas. []. , 33, 2, pp.97-105. ISSN 0120-419X.
Un logro notable de la topología algorítmica es el resultado de A.A. Márkov sobre la insolubilidad del problema del homeomorfismo para variedades. Posteriormente, Boone, Haken y Poénaru extendieron la idea original de Márkov al caso de variedades suaves cerradas. Una primera dificultad era la introducción de una representación finita de una variedad diferenciable o combinatórica que la describiese de forma natural. En este trabajo extendemos dicha representación a variedades suaves compactas y proponemos una definición de variedad suave representable
: Computabilidad y teoría de la recursión; topología algorítmica; variedades suaves.