Из платных, Maple очень мощная система. Я узнал о кое-какой новой математике, просто читая её хелпы. Есть ещё Axiom, она opensource, но про неё ничего сказать не могу, не пользовался. Но надо предупредить, что (по моему опыту), главная проблема в том, что такие системы не могут упрощать выражения так же хорошо, как Homo Sapiens Sapiens с карадашиком и бумажкой. Лучше всего их использовать для проверки уже выведенных формул.

(Reply to this) (Thread)

Спасибо.
Я тем временем расписал всю алгебру вручную,
но на будущее разведю обязательно.

(Reply to this) (Parent)