Paweł ZAJĄC
(WMS, AGH)
Bazy Gröbnera

Bazy Gröbnera są bazami ideałów pierścienia wielomianów wielu zmiennych. Takie bazy pozwalają określić dzielenie z resztą w przypadku wielomianów wielu zmiennych, a także rozwiązywać układy równań wielomianowych o wielu niewiadomych.

Referat zawierać będzie algorytm dzielenia wielomianów wielu zmiennych, definicję bazy Gröbnera i warunek Buchbergera dla jej wyznaczania oraz przykładowe zastosowania.

Na temat baz Gröbnera istnieje wiele opracowań. Np:

[1] D.Cox, J.Little, D.O'Shea, Ideale, Varietes, and Algorithms, Wyd 2, Springer 1991.

[2] J.Browkin, Bazy Gröbnera, Internet, wersja z 17.04.2007.

[3] D.Bertsimas, G.Perakis, S.Tayur, A New Algebraic Geometry Algorithm for Integer Programming, Management Science, Volume 46, Issue 7 (July 2000), 999-1008.

 
Serdecznie zapraszamy wszystkich chętnych !