Электронный каталог

Статья

Гердт, В.П.
О роли инволютивных критериев при вычислении булевых базисов Гребнера / В.П.Гердт, М.В.Зинин // Программирование. – 2009. – No.2. – с.43-52. – URL: http://dx.doi.org/10.1134/S0361768809020042. – Библиогр.:19.



Спец.(статьи,препринты) = Ц 840 д - Аналитические вычисления на ЭВМ$
ОИЯИ = ОИЯИ (JINR)2009