Вы здесь

Алгоритмы вычисления базисов Гр#бнера и инволютивных базисов