Maxima можно найти в каталогах