TY  - JOUR
AU  - I. Yu. Tchoupaeva
TI  - Automated proving and analysis of geometric theorems in coordinate-free form by using the anticommutative Gr\"obner basis method
JO  - Fundamentalʹnaâ i prikladnaâ matematika
PY  - 2003
SP  - 213
EP  - 228
VL  - 9
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/FPM_2003_9_3_a14/
LA  - ru
ID  - FPM_2003_9_3_a14
ER  -