Алгебраические системы и символьные вычисления

[Naeel Maqsudov]

Такие системы как MathLab кажется умеют формировать код на языке C, но я не уверен, что они формируют код, дающий возможность символьных вычислений. Скорее всего там просто возможность подстановки переменных реализовывается, а вид функций не меняется. Но это только предположение...

[DeeJayC]

Надо смотреть линуксовые исходники таких вещёй как

lapack
mupad
kalamaris

А больше я не знаю...