%0 Journal Article
%A I. Yu. Tchoupaeva
%T Automated proving and analysis of geometric theorems in coordinate-free form by using the anticommutative Gr\"obner basis method
%J Fundamentalʹnaâ i prikladnaâ matematika
%D 2003
%P 213-228
%V 9
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/FPM_2003_9_3_a14/
%G ru
%F FPM_2003_9_3_a14