FUNDAMENTALNAYA I PRIKLADNAYA MATEMATIKA

(FUNDAMENTAL AND APPLIED MATHEMATICS)

2003, VOLUME 9, NUMBER 3, PAGES 213-228

Automated proving and analysis of geometric theorems in coordinate-free form by using the anticommutative Gröbner basis method

I. J. Tchoupaeva

Abstract

View as HTML     View as gif image

Gif image of the abstract

Main page Contents of the journal News Search

Location: http://mech.math.msu.su/~fpm/eng/k03/k033/k03315g.htm.
Last modified: January 24, 2005.