Geodesic
Using computer to discover some theorems in geometry
Annales mathematicae et informaticae, Tome 29 (2002), pp. 67-75.

Voir la notice de l'article provenant de la source Annales Mathematica et Informaticae website

@article{AMI_2002_29_a7,
     author = {Jaroslav Hora and Pavel Pech},
     title = {Using computer to discover some theorems in geometry},
     journal = {Annales mathematicae et informaticae},
     pages = {67--75},
     publisher = {mathdoc},
     volume = {29},
     year = {2002},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AMI_2002_29_a7/}
}
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  - 
%0 Journal Article
%A Jaroslav Hora
%A Pavel Pech
%T Using computer to discover some theorems in geometry
%J Annales mathematicae et informaticae
%D 2002
%P 67-75
%V 29
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMI_2002_29_a7/
%G en
%F AMI_2002_29_a7
Jaroslav Hora; Pavel Pech. Using computer to discover some theorems in geometry. Annales mathematicae et informaticae, Tome 29 (2002), pp. 67-75. http://geodesic.mathdoc.fr/item/AMI_2002_29_a7/