Application of the Noncommutative Gröbner Bases Method for Proving Geometrical Statements in Coordinate-free Form

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