Grobner Basis

Grobner Basis — a fundamental notation of algebra that allows for more advanced computational work. 
More information

---

See also:
Mathworld
University of California at Berkley — this is a short PDF file on the basics of Grobner basis’