%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