+ там любопытные добавления в комментариях, всё это очень свежее: 16-18 июля 2012, т.е. за 2-3 прошедших дня.
Системы символьных (аналитических) вычислений очень могучий инструмент при умелом использовании, я сам делал весьма сложные алгоритмы цифровой сигнальной обработки в MathCad, прежде чем потом это переносить в "боевую" реализацию в С или С++, и видел
, как это делали коллеги в MathLab, прежде чем зашивать это в PLM Altera...Теперь вот и инструментарий под Linux, как утверждается, достаточно зрелый.
P.S. Это не совсем "образовательно ПО", как назван раздел форума, но если уж разделы разбиты и названы так неудачно, то пусть темы по подобному ПО накапливаются здесь.