Posted by haifeng on 2011-11-02 19:49:14 last update 2011-11-02 19:49:55 | Answers (0) | 收藏
http://sigsam.org/
Association for Computing Machinery Special Interest Group on Symbolic and Algebraic Manipulation
