Библиографическое описание документа: |
Просвирнина, Ирина Борисовна Применение методов компьютерной алгебры к доказательству стабилизационной теоремы в категории представлений частично упорядоченных множеств над кольцом классов вычетов по модулю, являющемуся произведением различных простых чисел / И. Б. Просвирнина // Третья международная научная конференция "Математическое моделирование и дифференциальные уравнения" : тезисы ; Брест, 17-22 сентября 2012 г. / Брестский гос. ун-т им. А.С. Пушкина, Ин-т математики НАН Беларуси, Белорусский государственный университет ; ред. кол.: В. И. Корзюк, И. С. Козловская, Е. С. Чеб. – Брест : БрГУ имени А. С. Пушкина, 2012. – С. 105. |