Мы изучаем решение судоку и обобщенного судоку, используя технику базисов Грёбнера. Пусть x₁, ... , x₈₁ переменные, связанные с 81 квадратами, которые образует головоломку судоку и линейно упорядочены сначала по строкам, затем по столбцам. Решение судоку есть набор чисел (a₁, ..., a₈₁), где a_i число в квадрате, ассоциированном с переменной x_i. Пусть также S − судоку с предварительно заполненными данными {c_i}_{i ∈ L} для L ⊂ {1, ..., 81}. Вся необходимая информация для решения такого судоку содержится в алгебраическом множестве mathbb V (I+<{x_i − c_i}_{i ∈ L}>). Мы используем технику базисов Грёбнера для поиска такого решения и приводим соответсвующий код в системе компьютерной алгебры SAGE для программы, решающей эту задачу. С. 5-21.

We study the resolution of sudokus and generalized sudokus using Groebner basis. Let x₁, ..., x₈₁ the 81 squares which form the sudoku, arranged from left to right and from top to bottom. Its solution will be (a₁, ..., a₈₁), where a_i is the number in the square associated to the variable x_i. Let S be a sudoku with preassigned data {c_i}_{i ∈ L}, for L ⊂ {1, ..., 81}. All the necessary information to solve the sudoku is contained in the algebraic set mathbb V (I+<{x_i − c_i}_{i ∈ L}>). We shall use Groebner basis to find a solution and give a SAGE code for that purpose.