Символьные вычисления и интегрируемые системы:

За более подробной информацией можно обратиться к А.В.Цыганову.