[ruslandh]

Alexander_Grig, имеются, но "грубо говоря" консольные, т.е. языки описания и системы анализа :
maxima, Axiom, Octave, Scilab, плюс программы для отображения формул в виде графика.
Т.е. конструктор из которого можно собрать себе конкретный механизм анализа.