Форма пошуку Назад
укр рус eng
 Cписок

Герман В.Н.
Решение линейных ограничений над полем вещественных и рациональных чисел

Вид документа: Стаття періодики
Автор: Герман В.Н. Вид автора: персона
Мова: Російська Обсяг: С. 123-133
УДК: 519.852.2

Аннотацiя:Запропоновано набір практичних методів розв'язання лінійних обмежень над дійсними та раціоними числами в формулах з кванторами. Розглянуто спектр другорядних проблем., що виникають під час рішення основної проблеми, та альтернативи їх вирішення в розрізі автоматичної верифації моделей програм.

Є складовою частиною документа: Кибернетика и системный анализ

Відомості щодо назви
 Відомості про відповідальність:Институт кибернетики им.В.М.Глушкова НАН Украины, г.Киев, Украина

Відомості щодо головного
 Назва головного документа:Кибернетика и системный анализ
 Дата видання головного документа:2010
 Номер частини головного документа:4

Загальна інформація
 Бібліографія:24 назв

Теми документа: