На серверах МИАН доступны приложения Maple и Mathematica.
По ссылкам вы найдёте инструкции по их установке и запуску.