| |
Львов, М. С.
О структуре полиномиальных инвариантов линейных циклов [Текст] / М. С. Львов
// Кибернетика и системный анализ. – 2015. – Т. 51, № 3. – С. 143-156.
Рассмотрена задача генерации полиномиальных инвариантов итерационных циклов с оператором инициализации цикла и невырожденным линейным оператором в теле цикла. |
