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