问题及解答

http://sigsam.org/

Association for Computing Machinery
Special Interest Group on Symbolic and Algebraic Manipulation