Reconstruction of manifolds in noncommutative geometry
  We show that the algebra A of a commutative unital spectral triple (A,H,D) satisfying several additional conditions, slightly stronger than those proposed by Connes, is the algebra of smooth functions on a compact spin manifold. 
Adam Rennie and Joseph C. Varilly