ginac另一个符号代数库

http://www.ginac.de/
c++的，大概看了一下演示，效果还不错，使用起来也方便。