I PRIKLADNAYA MATEMATIKA
(FUNDAMENTAL AND APPLIED MATHEMATICS)
2003, VOLUME 9, NUMBER 3, PAGES 213-228
I. J. Tchoupaeva
View as HTML View as gif image
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.
|Main page||Contents of the journal||News||Search|
Last modified: January 24, 2005.