Полиномиальные инварианты линейных циклов
Розглянуто задачу генерації поліноміальних інваріантів спеціального типу ітераційних циклів з лінійним відображенням у тілі циклу. Запропоновано нову техніку побудови таких інваріантів, основану на аналізі характеристичних поліномів лінійних відображень. The problem of generating polynomial invarian...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2010 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2010
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/45252 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Полиномиальные инварианты линейных циклов / М.С. Львов // Кибернетика и системный анализ. — 2010. — № 4. — С. 159-168. — Бібліогр.: 16 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862643643383283712 |
|---|---|
| author | Львов, М.С. |
| author_facet | Львов, М.С. |
| citation_txt | Полиномиальные инварианты линейных циклов / М.С. Львов // Кибернетика и системный анализ. — 2010. — № 4. — С. 159-168. — Бібліогр.: 16 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Розглянуто задачу генерації поліноміальних інваріантів спеціального типу ітераційних циклів з лінійним відображенням у тілі циклу. Запропоновано нову техніку побудови таких інваріантів, основану на аналізі характеристичних поліномів лінійних відображень.
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.
|
| first_indexed | 2025-12-01T08:12:27Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-45252 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-12-01T08:12:27Z |
| publishDate | 2010 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Львов, М.С. 2013-06-10T18:58:11Z 2013-06-10T18:58:11Z 2010 Полиномиальные инварианты линейных циклов / М.С. Львов // Кибернетика и системный анализ. — 2010. — № 4. — С. 159-168. — Бібліогр.: 16 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/45252 004.421.6 Розглянуто задачу генерації поліноміальних інваріантів спеціального типу ітераційних циклів з лінійним відображенням у тілі циклу. Запропоновано нову техніку побудови таких інваріантів, основану на аналізі характеристичних поліномів лінійних відображень. 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. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Программно-технические комплексы Полиномиальные инварианты линейных циклов Поліноміальні інваріанти лінійних циклів Polynomial invariants for linear loops Article published earlier |
| spellingShingle | Полиномиальные инварианты линейных циклов Львов, М.С. Программно-технические комплексы |
| title | Полиномиальные инварианты линейных циклов |
| title_alt | Поліноміальні інваріанти лінійних циклів Polynomial invariants for linear loops |
| title_full | Полиномиальные инварианты линейных циклов |
| title_fullStr | Полиномиальные инварианты линейных циклов |
| title_full_unstemmed | Полиномиальные инварианты линейных циклов |
| title_short | Полиномиальные инварианты линейных циклов |
| title_sort | полиномиальные инварианты линейных циклов |
| topic | Программно-технические комплексы |
| topic_facet | Программно-технические комплексы |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/45252 |
| work_keys_str_mv | AT lʹvovms polinomialʹnyeinvariantylineinyhciklov AT lʹvovms polínomíalʹníínvaríantilíníinihciklív AT lʹvovms polynomialinvariantsforlinearloops |