![](/img/cover-not-exists.png)
Automated proving and analysis of geometric theorems in coordinate-free form by using the anticommutative Gröbner basis method
I. J. TchoupaevaVolume:
135
Language:
english
Pages:
11
Journal:
Journal of Mathematical Sciences
DOI:
10.1007/s10958-006-0170-2
Date:
June, 2006
File:
PDF, 535 KB
english, 2006