Символьные алгоритмы и программы вычисления булевых базисов Грёбнера
Зинин, Михаил Владимирович. Символьные алгоритмы и программы вычисления булевых базисов Грёбнера : диссертация ... кандидата физико-математических наук : 05.13.11 / Зинин Михаил Владимирович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова].- Москва, 2013.- 114 с.: ил. РГБ ОД, 61 13-1/281