Computer Aided Proofs in Analysis