Sistem persamaan polinomial

Sistem persamaan polinomial (terkadang hanya sistem polinomial) adalah himpunan persamaan simultan  dimana  adalah polinomial dalam beberapa variabel, misalnya , atas beberapa bidang .

Solusi dari sistem polinomial adalah sekumpulan nilai untuk  yang termasuk dalam beberapa aljabar tertutup ekstensi bidang  dari , dan membuat semua persamaan menjadi benar. Jika  adalah bidang bilangan rasional,  umumnya diasumsikan sebagai bidang bilangan kompleks, karena setiap solusi milik ekstensi bidang dari , yang isomorfik ke subkolom dari bilangan kompleks.

Artikel ini adalah tentang metode untuk memecahkan, yaitu menemukan semua solusi atau menjelaskannya. Karena metode ini dirancang untuk diimplementasikan di komputer, Penekanan diberikan pada bidang  yang komputasi (termasuk pengujian persamaan) mudah dan efisien, yaitu bidang bilangan rasional s dan bidang berhingga.

Mencari solusi yang termasuk dalam rangkaian tertentu merupakan masalah yang umumnya jauh lebih sulit, dan berada di luar cakupan artikel ini, kecuali untuk kasus solusi di medan hingga tertentu. Untuk kasus solusi yang semua komponennya adalah bilangan bulat atau bilangan rasional, lihat persamaan Diofantin.

en:System of polynomial equations