Merkliste 
 1 Ergebnisse 
 
1

USING THE COMPUTER TO HELP PROVE THEOREMS:

HAY, LOUISE
The Mathematics Teacher.  74 (1981)  2 - p. 132-138 , 1981