A review of the techniques on Non-commutative Geometry to express rigorously the topological invariants, like in the Quantum Hall Effect or Topological Insulators will be provided. It will include some numerical work by ...