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