Собственно система компьютерной алгебры.   Разобрать какой-нибудь integrate(sin(x),x) не проблема - проблема найти аналитическое представление для первообразной заданной функции.

disputant, мне когда-то (года ~2 назад) для одного проекта нужна была длинная арифметика, и я тестировал несколько разных библиотек.
Все протестированные либы сложил в папочку, со своими комментариями.
Щас посмотрел в ту папочку. Среди протестированных оказалась и MAPM.
Вот мои комментарии того времени. (писал их исключительно для себя)

тестировалась либа в течение нескольких часов, так что глубоко не копал, но этого хватило чтобы отвергнуть ее.

Спасибо, эти баги (со вводом) остались. 

Если бы быть уверенным, что в математике багов нет...
с этими-то справиться достаточно легко, все равно у меня своя обертка. А, как вы справедливо заметили, MAPM очень легкая в использовании. На ttmath посмотрел - Open Watcom вообще не компилит, вылетает с run-time ошибкой... :(

Ничего не понял. А что тогда язык Reduce если не система компьютерной алгебры?

Хм... Вы всерьез не видите разницы между языком и компилятором/интерпретатором этого языка?

  Это не автомобиль. Это пакет. Вы всерьез не видете разницы между автомобилем и мотором автомобиля?
Мне кажется, что дискуссия ушла в какие-то семантические дебри. ИМХО если имеем некий продукт и этот продукт имеет всего одну основную функцию, то и категорируется он соответственно этой функции, а не по тому, что там внутри эту функцию обеспечивает.

Ну как хотите. Ваш подход к именованию не является общепринятым, но, если Вам так удобнее, пожалуйста.