Математика - Yacas

Yacas (Yet Another Computer Algebra System, Еще Одна Система Компьютерной Алгебры) - это маленькая и очень гибкая система компьютерной алгебры общего назначения и язык программирования.

Язык имеет знакомый Си-подобный инфиксно-операторный синтаксис. Дистрибутив содержит небольшую библиотеку математических функций, но ее настоящая мощь в языке, на котором вы можете легко писать ваши собственные алгоритмы символьных манипуляций. Ядро поддерживает арифметику с произвольной точностью (для более быстрых вычислений оно может быть по выбору слинковано с библиотекой математики с произвольной точностью GNU libgmp) и способно выполнять символьные манипуляции над различными математическими объектами, следуя определенным пользователем правилам.
 

Сайт разработчика: http://yacas.sourceforge.net/homepage.html
Что почитать?

• Компьютерная алгебра
• Введение в Yacas. Учебник и примеры.