Of course, a numerical discovery of a relation by a computer does not in general constitute a proof of this relation; one of the reasons being that the computer operates on rational approximations of numbers that in many applications are likely to be transcendental. In many cases, however, the relations we first discovered numerically subsequently received rigorous mathematical proofs: many complicated relations probably would never have been dreamed of without the assistance of the computer. In Section 3 we show examples of such phenomena.