Aregawi, Weldegiorgis Akale (2011) Proving some Geometric Theorems Using Groebner Bases. Masters thesis, Addis Ababa University.