Formal methods; deformations Families and moduli mathematics