## Introduction

### Grobner Bases

Grobner Bases is a mathematical device to make many calculations with systems of polynomial equations practical.

Grobner Bases is a mathematical device to make many calculations with systems of polynomial equations practical.

The Grobner Basis is defined within the context of basic abstract algebra. We need to have basic understanding of the following notions:

- Polynomial rings in several variables
- Ideals of rings
- Lexicographic (dictionary) order