Рабочая станция для больших символьных вычислений

[DLL]

Буду благодарен если кто подскажет, что сейчас есть нового и хорошего.
Речь идет про компьютер для выполнения больших символьных вычислений (базисы Гребнера, дифференциальная алгебра, эрмитовы нормальные формы, и т.д.).
Бюджет в разумных пределах не ограничен