Полиномиальные инварианты линейных циклов
dc.contributor.author | Львов, М.С. | |
dc.date.accessioned | 2013-06-10T18:58:11Z | |
dc.date.available | 2013-06-10T18:58:11Z | |
dc.date.issued | 2010 | |
dc.description.abstract | Розглянуто задачу генерації поліноміальних інваріантів спеціального типу ітераційних циклів з лінійним відображенням у тілі циклу. Запропоновано нову техніку побудови таких інваріантів, основану на аналізі характеристичних поліномів лінійних відображень. | uk_UA |
dc.description.abstract | The problem of generating polynomial invariants of special type for an iterative loop with the linear mapping in an iteration body is considered. A technique is proposed to develop such invariants based on the analysis of characteristic polynomials of linear mappings. | uk_UA |
dc.identifier.citation | Полиномиальные инварианты линейных циклов / М.С. Львов // Кибернетика и системный анализ. — 2010. — № 4. — С. 159-168. — Бібліогр.: 16 назв. — рос. | uk_UA |
dc.identifier.issn | 0023-1274 | |
dc.identifier.udc | 004.421.6 | |
dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/45252 | |
dc.language.iso | ru | uk_UA |
dc.publisher | Інститут кібернетики ім. В.М. Глушкова НАН України | uk_UA |
dc.relation.ispartof | Кибернетика и системный анализ | |
dc.status | published earlier | uk_UA |
dc.subject | Программно-технические комплексы | uk_UA |
dc.title | Полиномиальные инварианты линейных циклов | uk_UA |
dc.title.alternative | Поліноміальні інваріанти лінійних циклів | uk_UA |
dc.title.alternative | Polynomial invariants for linear loops | uk_UA |
dc.type | Article | uk_UA |
Файли
Оригінальний контейнер
1 - 1 з 1
Контейнер ліцензії
1 - 1 з 1
Завантаження...
- Назва:
- license.txt
- Розмір:
- 817 B
- Формат:
- Item-specific license agreed upon to submission
- Опис: