• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Book chapter

Применение методов машинного обучения для улучшения алгоритма F4 вычисления базиса Грёбнера

Зобнин А. И., Тихонова М. И.

Groenber basis computation of a polynomial ideal is an important problem of computer algebra. At the same time it is computationally difficult. For its solution various algorithms were proposed. Most of them use different heurestics. In this paper we examine the applicability of machine learning for the optimization of one of the algorithms, namely F4 algorithm. A range of different experiments were also performed which showed the efficiency of the usage of one of the machine learning methods,  known as support vector machine, for the F4 algorithm.

In book

Edited by: С. А. Абрамов 2017.