## Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method

- Irina Tchoupaeva
- Automated Deduction in Geometry
- 2002

- Published 2002

In this paper we consider the application of the noncommutative Gröbner bases method for proving theorems in algebraic geometry. Geometrical statements of constructive type should be given in the coordinate-free form. 1. Coordinate-free representation of points and statements We consider theorems of elementary geometry (two-dimensional and three-dimensional… CONTINUE READING

### Presentations referencing similar topics