Решение линейных ограничений над полем вещественных и рациональных чисел
Запропоновано набір практичних методів розв’язання лінійних обмежень над дійсними та раціональними числами в формулах з кванторами. Розглянуто спектр другорядних проблем, що виникають під час вирішення основної проблеми, та альтернативи їх вирішення в розрізі автоматичної верифікації моделей програм...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2010 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2010
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/45249 |
| 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. — С. 123-133. — Бібліогр.: 24 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-45249 |
|---|---|
| record_format |
dspace |
| spelling |
Герман, В.Н. 2013-06-10T18:24:05Z 2013-06-10T18:24:05Z 2010 Решение линейных ограничений над полем вещественных и рациональных чисел / В.Н. Герман // Кибернетика и системный анализ. — 2010. — № 4. — С. 123-133. — Бібліогр.: 24 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/45249 519.852.2 Запропоновано набір практичних методів розв’язання лінійних обмежень над дійсними та раціональними числами в формулах з кванторами. Розглянуто спектр другорядних проблем, що виникають під час вирішення основної проблеми, та альтернативи їх вирішення в розрізі автоматичної верифікації моделей програм. Practical methods for solving linear constraints over real and rational fields with quantifiers are proposed. The problems that arise along the way are observed together with the set of possible solutions in scope of automatic software model verification. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Системный анализ Решение линейных ограничений над полем вещественных и рациональных чисел Розв’язання лінійних обмежень над полем дійсних та раціональних чисел Solving linear constraints over real and rational fields Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Решение линейных ограничений над полем вещественных и рациональных чисел |
| spellingShingle |
Решение линейных ограничений над полем вещественных и рациональных чисел Герман, В.Н. Системный анализ |
| title_short |
Решение линейных ограничений над полем вещественных и рациональных чисел |
| title_full |
Решение линейных ограничений над полем вещественных и рациональных чисел |
| title_fullStr |
Решение линейных ограничений над полем вещественных и рациональных чисел |
| title_full_unstemmed |
Решение линейных ограничений над полем вещественных и рациональных чисел |
| title_sort |
решение линейных ограничений над полем вещественных и рациональных чисел |
| author |
Герман, В.Н. |
| author_facet |
Герман, В.Н. |
| topic |
Системный анализ |
| topic_facet |
Системный анализ |
| publishDate |
2010 |
| language |
Russian |
| container_title |
Кибернетика и системный анализ |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Розв’язання лінійних обмежень над полем дійсних та раціональних чисел Solving linear constraints over real and rational fields |
| description |
Запропоновано набір практичних методів розв’язання лінійних обмежень над дійсними та раціональними числами в формулах з кванторами. Розглянуто спектр другорядних проблем, що виникають під час вирішення основної проблеми, та альтернативи їх вирішення в розрізі автоматичної верифікації моделей програм.
Practical methods for solving linear constraints over real and rational fields with quantifiers are proposed. The problems that arise along the way are observed together with the set of possible solutions in scope of automatic software model verification.
|
| issn |
0023-1274 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/45249 |
| citation_txt |
Решение линейных ограничений над полем вещественных и рациональных чисел / В.Н. Герман // Кибернетика и системный анализ. — 2010. — № 4. — С. 123-133. — Бібліогр.: 24 назв. — рос. |
| work_keys_str_mv |
AT germanvn rešenielineinyhograničeniinadpolemveŝestvennyhiracionalʹnyhčisel AT germanvn rozvâzannâlíníinihobmeženʹnadpolemdíisnihtaracíonalʹnihčisel AT germanvn solvinglinearconstraintsoverrealandrationalfields |
| first_indexed |
2025-12-07T19:59:27Z |
| last_indexed |
2025-12-07T19:59:27Z |
| _version_ |
1850880890183352320 |