TY  - JOUR
AU  - Jaroslav Hora
AU  - Pavel Pech
TI  - Using computer to discover some theorems in geometry
JO  - Annales mathematicae et informaticae
PY  - 2002
SP  - 67
EP  - 75
VL  - 29
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMI_2002_29_a7/
LA  - en
ID  - AMI_2002_29_a7
ER  -