On some computer-aided proofs in analysis