Tchoupaeva I Yu

Publications in Math-Net.Ru

1. Automated proving and analysis of geometric theorems in coordinate-free form by using the anticommutative Gröbner basis method
   
   Fundam. Prikl. Mat., 9:3 (2003),  213–228