Решение линейных ограничений над полем вещественных и рациональных чисел
Vernadsky National Library of Ukraine
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Решение линейных ограничений над полем вещественных и рациональных чисел
|
|
Creator |
Герман, В.Н.
|
|
Subject |
Системный анализ
|
|
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. |
|
Date |
2013-06-10T18:24:05Z
2013-06-10T18:24:05Z 2010 |
|
Type |
Article
|
|
Identifier |
Решение линейных ограничений над полем вещественных и рациональных чисел / В.Н. Герман // Кибернетика и системный анализ. — 2010. — № 4. — С. 123-133. — Бібліогр.: 24 назв. — рос.
0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/45249 519.852.2 |
|
Language |
ru
|
|
Relation |
Кибернетика и системный анализ
|
|
Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|