Suatu basis ideal G F[x1, x2,...xn] disebut suatu basis Grobner terhadap suatu term-ordering tertentu apabila setiap unsur dari ideal I=(G) mempunyai bentuk normal 0 modulo G. Basis Grobner ini banyak digunakan dalam bidang dalam bidang komputasi simbolik. Salah satu alasannya adalah karena terdapat algoritme Buchberger yang selalu dapat menghasilkan basis Grobner dari suatu himpunan polinomial. Tugas akhir ini menelaah dan mengimplementasikan suatu algoritme untuk mencari penyelesaian dari suatu sistem persamaan polinomial dengan menggunakan basis Grobner yang dibangun dari himpunan polinomial yang bersangkutan. Langkah-langkah dalam algoritme itu mengusahakan agar terdapat unsur dalam basisi Grobner yang berupa polinomial vervariabel tunggal. Polinomial-polinomial inilah yang digunakan untuk mendapatkan penyelesaian akhir, apabila memang terdapat penyelesaian yang brehingga banyaknya. Jika sistem persamaan polinomial itu berupa suatu sistem persamaan linear, algoritme penyelesaian dengan basis Grobner itu tidak lain adalah eliminasi Gauss. Implementasi dilakukan dengan sistem MAPLE pada PC berprosesor intel 386 atas windows 3.11. Uji coba terhadap berbagai sistem persamaan polinomial menunjukkan bahwa term-ordering yang digunakan berpengaruh terhadap waktu penyelesaian. Pada umumnya penyelesaian yang menggunakan term-ordering pure lexicographic memerlukan waktu yang lebih pendek dibandingkan dengan yang menggunakan total degree