На серверах МИАН доступны приложения Maple и Mathematica.
По ссылкам вы найдёте инструкции по их установке и запуску.
В случае необходимости суперкомпьютерных вычислений, рекомендуем обратиться в «Центр коллективного пользования вычислительными ресурсами МСЦ НИЦ КИ» по адресу https://www.jscc.ru/ckp/about/.