Машинная реализация алгебраических методов исследования устойчивости систем автоматического управлениядоклад на конференции