Using computer to discover some theorems in geometry
Annales mathematicae et informaticae, Tome 29 (2002), pp. 67-75
Cet article a éte moissonné depuis 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},
year = {2002},
volume = {29},
language = {en},
url = {http://geodesic.mathdoc.fr/item/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/