Автоматизированный исследовательский комплекс по теоретической механике