This is to say, the calculator enables us to generate a sufficient number of examples that we can easily get through to conjectures or theorems. Then these conjectures can be tested by the investigation of further examples. In some cases a counter-example can be found quickly and the conjecture is disproved; in other cases all possibilities may be quickly exhausted and we may even be able to prove" the conjectures completely in special problems