Автоматический синтез уравнений движения механических систем