Без заголовка

Ну вот sympy это символьные вычисления? Или, к примеру, Maple, который почти весь написан на самом Maple?