The principals, detection schemes and experimental progress for three types of dark matter: supersymmetry, axions and neutrinos