Показати простий запис статті
dc.contributor.author |
Львов, М.С. |
|
dc.date.accessioned |
2013-06-10T18:58:11Z |
|
dc.date.available |
2013-06-10T18:58:11Z |
|
dc.date.issued |
2010 |
|
dc.identifier.citation |
Полиномиальные инварианты линейных циклов / М.С. Львов // Кибернетика и системный анализ. — 2010. — № 4. — С. 159-168. — Бібліогр.: 16 назв. — рос. |
uk_UA |
dc.identifier.issn |
0023-1274 |
|
dc.identifier.uri |
http://dspace.nbuv.gov.ua/handle/123456789/45252 |
|
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.language.iso |
ru |
uk_UA |
dc.publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
uk_UA |
dc.relation.ispartof |
Кибернетика и системный анализ |
|
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 |
dc.status |
published earlier |
uk_UA |
dc.identifier.udc |
004.421.6 |
|
Файли у цій статті
Ця стаття з'являється у наступних колекціях
Показати простий запис статті