When a computer tells that a polynomial of degree six has more than 20 real roots and that 17! is a negative number, how much can one rely on its aid when attempting to prove rigorous mathematical results? In this talk I will survey basic ideas from interval analysis and present several applications to computer aided proofs in partial differential equations.