Форма пошуку
Назад
укр
рус
eng
Cписок
Герман В.Н.
Решение линейных ограничений над полем вещественных и рациональных чисел
Вид документа:
Стаття періодики
Автор:
Герман В.Н.
Вид автора:
персона
Мова:
Російська
Обсяг:
С. 123-133
УДК:
519.852.2
Аннотацiя:
Запропоновано набір практичних методів розв'язання лінійних обмежень над дійсними та раціоними числами в формулах з кванторами. Розглянуто спектр другорядних проблем., що виникають під час рішення основної проблеми, та альтернативи їх вирішення в розрізі автоматичної верифації моделей програм.
Є складовою частиною документа:
Кибернетика и системный анализ
Відомості щодо назви
Відомості про відповідальність
:
Институт кибернетики им.В.М.Глушкова НАН Украины, г.Киев, Украина
Відомості щодо головного
Назва головного документа
:
Кибернетика и системный анализ
Дата видання головного документа
:
2010
Номер частини головного документа
:
4
Загальна інформація
Бібліографія
:
24 назв
Теми документа:
УДК/UDC/ 5 Математика та природничі науки/Математика и естественные науки/Mathematics. Natural Sciences/ 51 Математика/Mathematics/ 519.8 Дослiдження операцiй/Исследование операций/Operational research (OR): mathematical theories and methods/ 519.85 Математичне програмування/Математическое программирование/Mathematical programming/ 519.852 Лінійне програмування. Симплекс-метод/Линейное программирование/Linear programming