Automated proving and analysis of geometric theorems in coordinate-free form by using the anticommutative Gröbner basis method |
| |
Authors: | I J Tchoupaeva |
| |
Institution: | (1) Moscow State University, Russia |
| |
Abstract: | Some geometric theorems can be stated in coordinate-free form as polynomials in Grassman algebra and can be proven by the anticommutative Gröbner basis method. In this article, we analyze some properties of both sets of hypotheses and conclusions of the theorem. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |