| |
Львов, М. С.
Метод доказательства инвариантности линейных неравенств для линейных циклов [Текст] / М. С. Львов
// Кибернетика и системный анализ. – 2014. – Т. 50, № 4. – С. 180-185.
Представлен новый метод доказательства инвариантности системы линейных неравенств для итеративных циклов, определенных над полем рациональных чисел с линейным оператором в теле цикла. |
