Конструктивный алгоритм свертывания систем линейных неравенств высокой размерности

Традиционная процедура свертывания системы линейных неравенств, основанная на алгоритме Фурье–Черникова, дополняется методами исключения зависимых неравенств, позволяющими существенно ослабить разрастание системы. Предлагаются как точные, так и приближенные методы, доведенные до алгоритмов и программной реализации. Обсуждаются результаты машинных экспериментов. Библ. 10. Табл. 5.