BIBasis                  Библиотека "JINRLIB"                                         

                                                                     Вы
    Автор: М.В.Зинин                                                 
                                                                     посетитель.
                                                                     
         ПАКЕТ BIBasis ДЛЯ ВЫЧИСЛЕНИЯ БУЛЕВЫХ ИНВОЛЮТИВНЫХ БАЗИСОВ И 
     БАЗИСОВ ГРЁБНЕРА В СИСТЕМАХ КОМПЬЮТЕРНОЙ АЛГЕБРЫ REDUCE и Macaulay2
 
    BIBasis - программный пакет, доступный в системах компьютерной алгебры 
    REDUCE и Macaulay2. Позволяет вычислять булевы инволютивные базисы и базисы 
    Грёбнера с помощью инволютивного алгоритма на основе деления Поммаре.
    Поддерживаются 3 мономиальных упорядочивания: чисто лексикографическое, 
    градуированное лексикографическое и градуированное обратное лексикографическое.

    Имеется подробный документ (в формате .pdf), где описаны реализации и 
    пользовательские интерфейсы пакета для каждой из систем. Также приводятся 
    результаты сравнения пакета BIBasis с другими доступными в данных системах 
    компьютерной алгебры пакетами и алгоритмами для построения булевых базисов 
    Грёбнера.